Automated Symbolic Proofs of Observational Equivalence-Reference-Cited by-同舟云学术

Automated Symbolic Proofs of Observational Equivalence

Published:2015-10-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Basin David¹,Dreier Jannik¹,Sasse Ralf¹

Affiliation:

1. ETH Zurich, Zurich, Switzerland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2810103.2813662

Reference25 articles.

1. Tamarin -- tool and extended papers. http://www.infsec.ethz.ch/research/software/tamarin.html. Tamarin -- tool and extended papers. http://www.infsec.ethz.ch/research/software/tamarin.html.

2. Mobile values, new names, and secure communication

3. StatVerif: Verification of stateful processes

4. LNCS;Bellare Mihir,1998

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Provably Unlinkable Smart Card-based Payments;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

2. Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

3. Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

4. Sound Verification of Security Protocols: From Design to Interoperable Implementations;2023 IEEE Symposium on Security and Privacy (SP);2023-05

5. Sound Verification of Security Protocols: From Design to Interoperable Implementations;P IEEE S SECUR PRIV;2023