activity
20182026
most citedIoTSan: Fortifying the Safety of IoT Systems

118 citations · 284 across the 16 of their papers we have counts for

collaborators
Showing 2018Show all

5 papers · 1 filter

cs.CR2018★ 118 cited

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…

cs.CR2018★ 7 cited

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…

cs.CR2018

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…

cs.LG2018★ 74 cited

Adversarial Perturbations Against Real-Time Video Classification Systems

Shasha Li, Ajaya Neupane, Sujoy Paul +4

Recent research has demonstrated the brittleness of machine learning systems to adversarial perturbations. However, the studies have been mostly limited to perturbations on images…

cs.CR2018★ 40 cited

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…