Automated Proof of Bell–LaPadula Security Properties Maximiliano CristiáGianfranco Rossi OriginalPaper 27 July 2020 Pages: 463 - 478
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties Véronique CortierStéphanie DelauneVaishnavi Sundararajan OriginalPaper 21 October 2020 Pages: 479 - 520
Formalising \(\varSigma \)-Protocols and Commitment Schemes Using CryptHOL D. ButlerA. LochbihlerA. Gascón OriginalPaper Open access 09 September 2020 Pages: 521 - 567
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model Zhé HóuDavid SananJin Song Dong OriginalPaper 14 August 2020 Pages: 569 - 598