A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

Subjects: Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

Subjects: Get full text

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review by Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

Subjects: Get full text

End-to-End Framework for Identifying Vulnerabilities of Operational Technology Protocols and Their Implementations in Industrial IoT by Matthew Boeding, Michael Hempel, Hamid Sharif

Subjects: Get full text

Verification of serialising instructions for security against transient execution attacks by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Subjects: Get full text