SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
Formal Verification of Cryptographic Protocols: A Survey
ASIACRYPT '94 Proceedings of the 4th International Conference on the Theory and Applications of Cryptology: Advances in Cryptology
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Automatic Verification of Cryptographic Protocols with SETHEO
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Proving Properties of Security Protocols by Induction
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Fast, automatic checking of security protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
| Hi-index | 0.00 |