Gijs Vanspauwen,
Bart Jacobs:
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. 53-68
Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. 159-174
Formal Specification and Proof
Testing and Model Checking
Modelling and Model Transformation
maintained by

, founded at
