3 citations · 4 across the 6 of their papers we have counts for
6 papers · 1 filter
DIG: Oracle-Guided Directed Input Generation for One-Day Vulnerabilities
Andrew Bao, Haochen Zeng, Peng Chen +2
One-day vulnerabilities pose significant risks due to delayed or incomplete patch adoption. Generating proof-of-concept (PoC) inputs is therefore essential for assessing real-world…
Partitioned Tags, Shared Data: Reconciling Strict Cache Isolation with Write-Shared Coherence
Kartik Ramkrishnan, Stephen McCamant, Antonia Zhai +1
Cache partitioning is among the strongest structural defenses against eviction-based cache side channels, yet a decade-old design issue has blocked its widespread deployment in sec…
Supporting Secured Integration of Microarchitectural Defenses
Kartik Ramkrishnan, Stephen McCamant, Antonia Zhai +1
There has been a plethora of microarchitectural-level attacks leading to many proposed countermeasures. This has created an unexpected and unaddressed security issue where naive in…
Shield Bash: Abusing Defensive Coherence State Retrieval to Break Timing Obfuscation
Kartik Ramkrishnan, Antonia Zhai, Stephen McCamant +1
Microarchitectural attacks are a significant concern, leading to many hardware-based defense proposals. However, different defenses target different classes of attacks, and their i…
New Attacks and Defenses for Randomized Caches
Kartik Ramkrishnan, Antonia Zhai, Stephen McCamant +1
The last level cache is vulnerable to timing based side channel attacks because it is shared by the attacker and the victim processes even if they are located on different cores. T…
Bit-Vector Model Counting using Statistical Estimation
Seonmo Kim, Stephen McCamant
Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it…