Survey of Approaches for Security Verification of Hardware/Software Systems. - Onur Demir; Wenjie Xiong 001; Faisal Zaghloul; Jakub Szefer (IACR Cryptol. ePrint Arch., 2016)

Persistent Memory Transactions. - Virendra J. Marathe; Achin Mishra; Amee Trivedi; Yihe Huang; Faisal Zaghloul; Sanidhya Kashyap; Margo I. Seltzer; Tim Harris 001; Steve Byan; Bill Bridge; Dave Dice (CoRR, 2018)

Survey of Approaches and Techniques for Security Verification of Computer Systems. - Ferhat Erata; Shuwen Deng; Faisal Zaghloul; Wenjie Xiong 001; Onur Demir; Jakub Szefer (ACM J. Emerg. Technol. Comput. Syst., 2023)