Faisal Zaghloul

According to our database, Faisal Zaghloul authored at least 3 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Survey of Approaches and Techniques for Security Verification of Computer Systems.

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

ACM J. Emerg. Technol. Comput. Syst., January, 2023

2018

Persistent Memory Transactions.

Virendra J. Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo I. Seltzer, Tim Harris, Steve Byan, Bill Bridge, Dave Dice

CoRR, 2018

2016

Survey of Approaches for Security Verification of Hardware/Software Systems.

Onur Demir, Wenjie Xiong, Faisal Zaghloul, Jakub Szefer

IACR Cryptol. ePrint Arch., 2016