PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot

16 September 2022

Papers citing "PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot"

8 / 8 papers shown

Title
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version) Linard Arquint Felix A. Wolf Joseph Lallemand R. Sasse Christoph Sprenger Sven N. Wiesner David Basin Peter Müller 27 9 0 08 Dec 2022
The Inductive Approach to Verifying Cryptographic Protocols Lawrence Charles Paulson 46 1,018 0 13 May 2021
Inductive Analysis of the Internet Protocol TLS Lawrence Charles Paulson 35 298 0 17 Jul 2019
A Formal Analysis of 5G Authentication David Basin Jannik Dreier L. Hirschi S. Radomirovic R. Sasse Vincent Stettler 34 366 0 27 Jun 2018
Shattered Trust: When Replacement Smartphone Components Attack Omer Shwartz Amir D. N. Cohen A. Shabtai Yossef Oren 33 24 0 13 May 2018
Attacking the Nintendo 3DS Boot ROMs M. Scire Melissa Mears Devon Maloney M. Norman Shaun Tux Phoebe Monroe 31 6 0 01 Feb 2018
Verified Low-Level Programming Embedded in F* Jonathan Protzenko J. Zinzindohoué Aseem Rastogi Tahina Ramananandro Peng Wang ... Antoine Delignat-Lavaud Cătălin Hriţcu K. Bhargavan Cédric Fournet Nikhil Swamy 36 155 0 28 Feb 2017
Refinement-based Specification and Security Analysis of Separation Kernels Yongwang Zhao David Sanán Fuyuan Zhang Yang Liu 29 19 0 20 Feb 2017