Mohannad Ismail

Orcid: 0000-0003-2976-0532

According to our database1, Mohannad Ismail authored at least 9 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Practical Mitigations Against Memory Corruption and Transient Execution Attacks.
PhD thesis, 2024

IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing.
Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Protect the System Call, Protect (Most of) the World with BASTION.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
Tightly Seal Your Sensitive Pointers with PACTight.
Proceedings of the 31st USENIX Security Symposium, 2022

2021
Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs.
CoRR, 2020

Poseidon: Safe, Fast and Scalable Persistent Memory Allocator.
Proceedings of the Middleware '20: 21st International Middleware Conference, 2020


  Loading...