Enforcing Fine-grained Constant-time Policies-Reference-Cited by-同舟云学术

Enforcing Fine-grained Constant-time Policies

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Ammanaghatta Shivakumar Basavesh¹,Barthe Gilles²,Grégoire Benjamin³,Laporte Vincent⁴,Priya Swarn⁵

Affiliation:

1. MPI-SP, Bochum, Germany

2. MPI-SP & IMDEA Software Institute, Bochum, Germany

3. Inria & Université Côte d'Azur, Sophia-Antipolis, France

4. Université de Lorraine & CNRS & Inria & LORIA, Nancy, France

5. Université Côte d'Azur & Inria, Sophia-Antipolis, France

Publisher

ACM

Link

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

Reference35 articles.

1. Lucky Thirteen: Breaking the TLS and DTLS Record Protocols

2. José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Francc ois Dupressoir , and Michael Emmi . 2016 . Verifying Constant-Time Implementations. In 25th USENIX Security Symposium, USENIX Security 16 , Austin, TX, USA, August 10--12 , 2016, , Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 53--70. https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Francc ois Dupressoir, and Michael Emmi. 2016. Verifying Constant-Time Implementations. In 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10--12, 2016, , Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 53--70. https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida

3. José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Benjamin Grégoire , Adrien Koutsos , Vincent Laporte , Tiago Oliveira , and Pierre-Yves Strub . 2020 . The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. In 2020 IEEE Symposium on Security and Privacy (S&P). 965--982 . https://doi.org/10.1109/SP40000.2020.00028 10.1109/SP40000.2020.00028 José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, and Pierre-Yves Strub. 2020. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. In 2020 IEEE Symposium on Security and Privacy (S&P). 965--982. https://doi.org/10.1109/SP40000.2020.00028

4. Machine-Checked Proofs for Cryptographic Standards

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

1. The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

2. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

3. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20