Practical and Scalable Security Verification of Secure Architectures-Reference-Cited by-同舟云学术

Practical and Scalable Security Verification of Secure Architectures

Published:2021-10-18 Issue: Volume: Page:
ISSN:
Container-title:Workshop on Hardware and Architectural Support for Security and Privacy
language:
Short-container-title:

Author:

Zhang Tianwei¹,Szefer Jakub²,Lee Ruby B.³

Affiliation:

1. Nanyang Technological University, Singapore

2. Yale University, United States

3. Princeton University, United States

Publisher

ACM

Link

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

Reference38 articles.

1. [n.d.]. Event-B and the Rodin Platform. http://www.event-b.org/. [n.d.]. Event-B and the Rodin Platform. http://www.event-b.org/.

2. AMD. [n.d.]. AMD Memory Encryption. https://doi.org/10.1007/978-3-540-45069-6_23, accessed May 2016 . AMD. [n.d.]. AMD Memory Encryption. https://doi.org/10.1007/978-3-540-45069-6_23, accessed May 2016.

3. A. Armando , D. Basin , Y. Boichut , Y. Chevalier , L. Compagna , J. Cuellar , P. Hankes Drielsma , P. C. Heám , O. Kouchnarenko , J. Mantovani , S. Mödersheim , D. von Oheimb , M. Rusinowitch , J. Santiago , M. Turuani , L. Viganò , and L. Vigneron . 2005. The AVISPA tool for the automated validation of internet security protocols and applications . In Proceedings of the 17th International Conference on Computer Aided Verification(CAV’05) . 281–285. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, P. C. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. 2005. The AVISPA tool for the automated validation of internet security protocols and applications. In Proceedings of the 17th International Conference on Computer Aided Verification(CAV’05). 281–285.

4. Bruno Blanchet . 2005. ProVerif automatic cryptographic protocol verifier user manual. CNRS , Departement dInformatique , Ecole Normale Superieure , Paris ( 2005 ). Bruno Blanchet. 2005. ProVerif automatic cryptographic protocol verifier user manual. CNRS, Departement dInformatique, Ecole Normale Superieure, Paris (2005).

5. Bruno Blanchet . 2012 . Security Protocol Verification: Symbolic and Computational Models. In International Conference on Principles of Security and Trust. Bruno Blanchet. 2012. Security Protocol Verification: Symbolic and Computational Models. In International Conference on Principles of Security and Trust.