Automatic Verification of Cryptographic Protocols with SETHEO

Learning Search Control Knowledge for Equational Theorem Proving

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

Towards an Automatic Analysis of Security Protocols in First-Order Logic

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Abstracting cryptographic protocols with tree automata

Science of Computer Programming - Special issue on static analysis (SAS'99)

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations

Sound methods and effective tools for model-based security engineering with UML

Proceedings of the 27th international conference on Software engineering

Code security analysis with assertions

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

Tools for model-based security engineering

Proceedings of the 28th international conference on Software engineering

Developing high-assurance secure systems with UML: a smartcard-based purchase protocol

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering

Model driven security analysis of IDaaS protocols

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing

A belief logic for analyzing security of web protocols

TRUST'12 Proceedings of the 5th international conference on Trust and Trustworthy Computing

Managing trust and secrecy in identity management clouds

Proceedings of the 2012 ACM Workshop on Cloud computing security workshop

Using automated model analysis for reasoning about security of web protocols

Proceedings of the 28th Annual Computer Security Applications Conference