E-SETHEO: An Automated3 Theorem Prover

leanCoP: lean connection-based theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving

The IJCAR-2004 automated theorem proving competition

AI Communications

Code security analysis with assertions

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

The state of CASC

AI Communications

E - a brainiac theorem prover

AI Communications - CASC

Model-Based Security Engineering of Distributed Information Systems Using UMLsec

ICSE '07 Proceedings of the 29th international conference on Software Engineering

First Order Stålmarck

Journal of Automated Reasoning

Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project

Electronic Notes in Theoretical Computer Science (ENTCS)

Model-Based security engineering with UML

Foundations of Security Analysis and Design III

Dynamic secure aspect modeling with UML: from models to code

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

E-MaLeS 1.1

CADE'13 Proceedings of the 24th international conference on Automated Deduction