Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.


Formal Methods in Cryptography

April 17, 2024


Zachary Flores - PhD from Colorado State University


Abstract. When we execute a program, how are we always sure it's doing what it should do?  We usually aren't!  "Formal methods" are system design techniques that use rigorously specified mathematical models to build software and hardware systems.  When you build a system that is part of critical infrastructure, you really want to make sure it works.  In this talk we first give some motivation for the use of formal methods, and then discuss the relevance of formal methods to both cryptographic algorithms and protocols, and the tools available to use in different situations.

Suggested reading:


Presented at

Crypto Reading Club talk on 2024-Apr-17

Parent Project

See: Crypto Reading Club

Related Topics

Security and Privacy: cryptography

Created January 04, 2024, Updated April 29, 2024