Csec: Verifying Implementations of Security Protocols in C

This project has developed an approach to verify implementations of cryptographic protocols against their specifications, which in turn are verified against IT security requirements. The approach was applied to existing implementations of cryptographic protocols.