activity
20192025
most citedMultiK: A Framework for Orchestrating Multiple Specialized Kernels

8 citations · 9 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CR2025

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System

Taesoo Kim, HyungSeok Han, Soyeon Park +43

We present ATLANTIS, the cyber reasoning system developed by Team Atlanta that won 1st place in the Final Competition of DARPA's AI Cyber Challenge (AIxCC) at DEF CON 33 (August 20…

cs.CR2025

A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies

Sharad Shrestha, Mohammed Ababneh, Satyajayant Misra +6

In the last decade, the rapid growth of Unmanned Aircraft Systems (UAS) and Unmanned Aircraft Vehicles (UAV) in communication, defense, and transportation has increased. The applic…

cs.CR2022★ 1 cited

Tightly Seal Your Sensitive Pointers with PACTight

Mohannad Ismail, Andrew Quach, Christopher Jelesnianski +2

ARM is becoming more popular in desktops and data centers, opening a new realm in terms of security attacks against ARM. ARM has released Pointer Authentication, a new hardware sec…

cs.CR2019

Making Code Re-randomization Practical with MARDU

Christopher Jelesnianski, Jinwoo Yom, Changwoo Min +1

Defense techniques such as Data Execution Prevention (DEP) and Address Space Layout Randomization (ASLR) were the early role models preventing primitive code injection and return-o…

cs.OS2019★ 8 cited

MultiK: A Framework for Orchestrating Multiple Specialized Kernels

Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang +4

We present, MultiK, a Linux-based framework 1 that reduces the attack surface for operating system kernels by reducing code bloat. MultiK "orchestrates" multiple kernels that are s…