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 | 41 | 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 | 28 | 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 | 22 | 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 | 16 | 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 | 10 | 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 |
{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 | 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 |
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 | | |