118 citations · 284 across the 16 of their papers we have counts for
6 papers · 1 filter
SPECCFI: Mitigating Spectre Attacks using CFI Informed Speculation
Esmaeil Mohammadian Koruyeh, Shirin Haji Amin Shirazi, Khaled N. Khasawneh +2
Spectre attacks and their many subsequent variants are a new vulnerability class affecting modern CPUs. The attacks rely on the ability to misguide speculative execution, generally…
SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis
Wookhyun Han, Md Lutfor Rahman, Yuxuan Chen +3
Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is es…
IoTSan: Fortifying the Safety of IoT Systems
Dang Tu Nguyen, Chengyu Song, Zhiyun Qian +3
Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad ap…
SPX: Preserving End-to-End Security for Edge Computing
Ketan Bhardwaj, Ming-Wei Shih, Ada Gavrilovska +2
Beyond point solutions, the vision of edge computing is to enable web services to deploy their edge functions in a multi-tenant infrastructure present at the edge of mobile network…
Spectre Returns! Speculation Attacks using the Return Stack Buffer
Esmaeil Mohammadian Koruyeh, Khaled Khasawneh, Chengyu Song +1
The recent Spectre attacks exploit speculative execution, a pervasively used feature of modern microprocessors, to allow the exfiltration of sensitive data across protection bounda…
SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation
Khaled N. Khasawneh, Esmaeil Mohammadian Koruyeh, Chengyu Song +3
Speculative execution which is used pervasively in modern CPUs can leave side effects in the processor caches and other structures even when the speculated instructions do not comm…