Exploring Applied Cryptosystems to Formally Verify Security in Cyber-Physical Systems
- Idaho National Laboratory
This project aims to evaluate RSA as a method for public-key encryption for cyber-physical systems (CPS). As technology advances, cyber attacks are increasing, and with them, the need for cybersecurity advances; the average cost for cybercrime in the world was estimated at $6 trillion in 2021. A public-key cryptosystem that has been around since 1977, RSA has recently garnered some critiques for its fragility, computational cost, and lazy implementation. In this project I will review the mathematical derivation of RSA, analyze the practical implications of such mathematical framework for the security of RSA, and propose a formal methods based approach to verify encryption schemes for CPS.
- Research Organization:
- Idaho National Laboratory (INL), Idaho Falls, ID (United States)
- Sponsoring Organization:
- USDOE National and Homeland Security (N&HS)
- DOE Contract Number:
- AC07-05ID14517
- OSTI ID:
- 1880065
- Report Number(s):
- INL/EXP-22-68303-Rev000
- Country of Publication:
- United States
- Language:
- English
Similar Records
Encrypted model predictive control design for security to cyberattacks
Security analysis of RSA cryptosystem algorithm and it’s properties