MFSA0C-PI: Model-based Formal Security Analysis of Crypto-Protocol Implementations

As part of a cooperation with the Broy Chair on the topics of programme understanding and IT security requirements, the prerequisites for verifying their implementations against the models were created in the context of model-based development of crypto protocol implementations.