Mohannad Ismail

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Programs Written

Operating System

Global Consistency

Top Venues

USENIX Security Symposium

Publications

Yilun Wu, Byounguk Min, Mohannad Ismail, Wenjie Xiong, Changhee Jung, Dongyoon Lee
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing. OSDI (2024)
Mohannad Ismail, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min, Wenjie Xiong
Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity. ASPLOS (3) (2024)
Christopher Jelesnianski, Mohannad Ismail, Yeongjin Jang, Dan Williams, Changwoo Min
Protect the System Call, Protect (Most of) the World with BASTION. ASPLOS (3) (2023)
Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min
Tightly Seal Your Sensitive Pointers with PACTight. USENIX Security Symposium (2022)
Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min
Tightly Seal Your Sensitive Pointers with PACTight. CoRR (2022)
Mohannad Ismail, Jinwoo Yom, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min
VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks. CCS (2021)
Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, Changwoo Min
Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. SOSP (2021)
Anthony Demeri, Wook-Hee Kim, Madhava Krishnan Ramanathan, Jaeho Kim, Mohannad Ismail, Changwoo Min
Poseidon: Safe, Fast and Scalable Persistent Memory Allocator. Middleware (2020)
Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Changwoo Min, Dongyoon Lee
WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs. CoRR (2020)