A Survey of Practical Formal Methods for Security

3 September 2021

Papers citing "A Survey of Practical Formal Methods for Security"

8 / 8 papers shown

Title
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Rémi Garcia Paolo Modesti 74 2 0 26 Nov 2024
Cilium and VDM -- Towards Formal Analysis of Cilium Policies Tomas Kulik Jalil Boudjadar 26 0 0 15 Oct 2024
Towards Understanding and Enhancing Security of Proof-of-Training for DNN Model Ownership Verification Yijia Chang Hanrui Jiang Chao Lin Xinyi Huang Jian Weng AAML 143 0 0 06 Oct 2024
Towards a Formal Foundation for Blockchain Rollups Stefanos Chaliasos Denis Firsov Benjamin Livshits 99 10 0 23 Jun 2024
This is How You Lose the Transient Execution War Allison Randal 51 5 0 06 Sep 2023
Towards a Formally Verified Security Monitor for VM-based Confidential Computing W. Ożga Guerney D. H. Hunt Michael V. Le Elaine R. Palmer Avraham Shinnar 38 6 0 20 Aug 2023
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers Ankit Kumar Max von Hippel Pete Manolios Cristina Nita-Rotaru 44 5 0 10 Dec 2022
Security Analysis of the Open Banking Account and Transaction API Protocol P. Modesti Leo Freitas Qudus Shotomiwa Abdulaziz Almehrej 18 1 0 28 Mar 2020