Faisal Zaghloul

Orcid: 0000-0002-5371-1231

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.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2023

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

[BibT_eX]

[DOI]

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

2018

Persistent Memory Transactions.

[BibT_eX]

[DOI]

CoRR, 2018

2016

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Faisal Zaghloul

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...