Home Blog Brief Links Contact

Home Links

01/21/2021
Formal Verification for Real-World Cryptographic Protocols and Implementations (thesis)

hal.inria.fr January 2021

1 comments

1 comments

megan
January 2021
to my knowledge this is not used in production anywhere right? And this has been in development for decades?
Reply

Post a comment