118 citations · 284 across the 16 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019
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…
cs.CR2019★ 3 cited
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…