Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets-Reference-Cited by-同舟云学术

Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets

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

Author:

Comon Hubert¹,Jacomme Charlie¹,Scerri Guillaume²

Affiliation:

1. LSV, CNRS & ENS Paris-Saclay & Inria & Université Paris-Saclay, Saclay, France

2. Université Versailles Saint-Quentin & Inria, Versailles, France

Funder

ANR

Publisher

ACM

Link

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

Reference31 articles.

1. [n. d.]. ISO/IEC 9798-3:2019 IT Security techniques - Entity authentication ?Part 3: Mechanisms using digital signature techniques. https://www.iso.org/standard/67115.html [n. d.]. ISO/IEC 9798-3:2019 IT Security techniques - Entity authentication ?Part 3: Mechanisms using digital signature techniques. https://www.iso.org/standard/67115.html

2. Verifying Privacy-Type Properties in a Modular Way

3. Conditional reactive simulatability

4. The Reactive Simulatability (RSIM) Framework for Asynchronous;Backes Michael;Systems. Inf. Comput.,2007

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

1. CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets;Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security;2020-10-30