Poseidon: Safe, Fast and Scalable Persistent Memory Allocator. - Anthony Demeri; Wook-Hee Kim; Madhava Krishnan Ramanathan; Jaeho Kim; Mohannad Ismail; Changwoo Min (Middleware, 2020)

WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs. - Xinwei Fu; Wook-Hee Kim; Ajay Paddayuru Shreepathi; Mohannad Ismail; Sunny Wadkar; Changwoo Min; Dongyoon Lee (CoRR, 2020)

VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks. - Mohannad Ismail; Jinwoo Yom; Christopher Jelesnianski; Yeongjin Jang; Changwoo Min (CCS, 2021)

Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. - Xinwei Fu; Wook-Hee Kim; Ajay Paddayuru Shreepathi; Mohannad Ismail; Sunny Wadkar; Dongyoon Lee; Changwoo Min (SOSP, 2021)

Tightly Seal Your Sensitive Pointers with PACTight. - Mohannad Ismail; Andrew Quach; Christopher Jelesnianski; Yeongjin Jang; Changwoo Min (USENIX Security Symposium, 2022)

Protect the System Call, Protect (Most of) the World with BASTION. - Christopher Jelesnianski; Mohannad Ismail; Yeongjin Jang; Dan Williams 001; Changwoo Min (ASPLOS (3), 2023)

Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity. - Mohannad Ismail; Christopher Jelesnianski; Yeongjin Jang; Changwoo Min; Wenjie Xiong 001 (ASPLOS (3), 2024)

IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing. - Yilun Wu; Byounguk Min; Mohannad Ismail; Wenjie Xiong 001; Changhee Jung; Dongyoon Lee (OSDI, 2024)

Practical Mitigations Against Memory Corruption and Transient Execution Attacks. - Mohannad Ismail (2024)