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 | 35 | 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 | 25 | 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 | 16 | 2022 |
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 | 12 | 2021 |
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 | 5 | 2023 |
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 | 1 | 2024 |
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 | 1 | 2020 |
Practical Mitigations Against Memory Corruption and Transient Execution Attacks MAAA Ismail Virginia Tech, 2024 | | 2024 |
{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 | | 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 | | |