Faisal Zaghloul

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Emergent Behavior

Transaction Processing

Legacy Software Systems

Top Venues

IACR Cryptol. ePrint Arch.

ACM J. Emerg. Technol. Comput. Syst.

Publications

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer
Survey of Approaches and Techniques for Security Verification of Computer Systems. ACM J. Emerg. Technol. Comput. Syst. 19 (1) (2023)
Virendra J. Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo I. Seltzer, Tim Harris, Steve Byan, Bill Bridge, Dave Dice
Persistent Memory Transactions. CoRR (2018)
Onur Demir, Wenjie Xiong, Faisal Zaghloul, Jakub Szefer
Survey of Approaches for Security Verification of Hardware/Software Systems. IACR Cryptol. ePrint Arch. 2016 (2016)