Keyword:automated verification

Publications
Design Policy Checking in ArchiMate. On the Cases Technology Policies in a Medical Center Stef Joosten, El Makki Haddouchi and Ella Roubtsova EasyChair Preprint 4129
An extensive formal analysis of multi-factor authentication protocols Charlie Jacomme and Steve Kremer EasyChair Preprint 79
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny Sylvia Grewe, Sebastian Erdweg and Mira Mezini In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Automated Verification of Equivalence on Quantum Cryptographic Protocols Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and Hideki Sakurada In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science