Follow
Mohannad Ismail
Title
Cited by
Cited by
Year
Witcher: Systematic crash consistency testing for non-volatile memory key-value stores
X Fu, WH Kim, AP Shreepathi, M Ismail, S Wadkar, D Lee, C Min
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
322021
Poseidon: Safe, fast and scalable persistent memory allocator
A Demeri, WH Kim, RM Krishnan, J Kim, M Ismail, C Min
Proceedings of the 21st International Middleware Conference, 207-220, 2020
242020
Tightly Seal Your Sensitive Pointers with {PACTight}
M Ismail, A Quach, C Jelesnianski, Y Jang, C Min
31st USENIX Security Symposium (USENIX Security 22), 3717-3734, 2022
122022
VIP: Safeguard value invariant property for thwarting critical memory corruption attacks
M Ismail, J Yom, C Jelesnianski, Y Jang, C Min
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
92021
Protect the system call, protect (most of) the world with bastion
C Jelesnianski, M Ismail, Y Jang, D Williams, C Min
Proceedings of the 28th ACM International Conference on Architectural …, 2023
42023
WITCHER: Detecting Crash Consistency Bugs in Non-volatile Memory Programs
X Fu, WH Kim, AP Shreepathi, M Ismail, S Wadkar, C Min, D Lee
arXiv preprint arXiv:2012.06086, 2020
12020
Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity
M Ismail, C Jelesnianski, Y Jang, C Min, W Xiong
2024
PACTIGHT: Tightly Seal Sensitive Pointers with Pointer Authentication
MA Ismail
Virginia Tech, 2021
2021
POSEIDON: Safe, Fast and Scalable Persistent Memory Allocator
WH Kim, A Demeri, RM Krishnan, J Kim, M Ismail, C Min
The system can't perform the operation now. Try again later.
Articles 1–9