Probabilistic relational verification for cryptographic implementations-Reference-Cited by-同舟云学术

Probabilistic relational verification for cryptographic implementations

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Barthe Gilles¹,Fournet Cédric²,Grégoire Benjamin³,Strub Pierre-Yves¹,Swamy Nikhil⁴,Zanella-Béguelin Santiago²

Affiliation:

1. IMDEA Software Institute, Madrid, Spain

2. Microsoft Research, Cambridge, United Kingdom

3. Inria Sophia Antipolis - Méditerranée, Sophia Antipolis, France

4. Microsoft Research, Seattle, WA, USA

Publisher

ACM

Link

Reference45 articles.

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

2. Decision and Complexity of Dolev-Yao Hyperproperties;Proceedings of the ACM on Programming Languages;2024-01-05

3. A Study on Formal Verification of Smart Contracts in Distributed Ledger Technology;2023 IEEE International Conference on Recent Advances in Systems Science and Engineering (RASSE);2023-11-08

4. A Higher-Order Indistinguishability Logic for Cryptographic Reasoning;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26