Survey of Approaches and Techniques for Security Verification of Computer Systems. - ERATA, FERHAT; SHUWEN DENG; ZAGHLOUL, FAISAL; WENJIE XIONG; DEMIR, ONUR; SZEFER, JAKUB (ACM Journal on Emerging Technologies in Computing Systems, 2023)