theorem provers

Survey of approaches and techniques for security verification of computer systems

This article surveys the landscape of security verification approaches and techniques for computer systems at various levels: from a …

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer