| 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 | 62 | 2021 |
| 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 | 30 | 2020 |
| 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 | 29 | 2022 |
| 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 | 21 | 2023 |
| 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 | 19 | 2021 |
| {IntOS}: Persistent embedded operating system and language support for multi-threaded intermittent computing Y Wu, B Min, M Ismail, W Xiong, C Jung, D Lee 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 9 | 2024 |
| 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 Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 4 | 2024 |
| Practical Mitigations Against Memory Corruption and Transient Execution Attacks MAAA Ismail Virginia Tech, 2024 | | 2024 |
| PACTIGHT: Tightly Seal Sensitive Pointers with Pointer Authentication MA Ismail Virginia Tech, 2021 | | 2021 |
| 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 | | 2020 |
| POSEIDON: Safe, Fast and Scalable Persistent Memory Allocator WH Kim, A Demeri, RM Krishnan, J Kim, M Ismail, C Min | | |