Verifying Implementations of Security Protocols in C (Csec)

Cryptographic code in C, such as security protocols and hardware security modules, is a critical substrate of our software infrastructures. The Csec project aims to develop software analysis techniques to verify and find bugs in such code.