Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ton van Deursen
Improving Automatic Verification of Security Protocols With XOR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
AnBx - Security Protocols Design and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Journal of Applied Non-Classical Logics
Philosophy
Logic
An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology
Science of Computer Programming
Software
Using Backward Induction Techniques in (Timed) Security Protocols Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Automatic Completion of Distributed Protocols With Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Netlog Protocols
