14 citations · 47 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021★ 3 cited
MAJORCA: Multi-Architecture JOP and ROP Chain Assembler
Alexey Nurmukhametov, Alexey Vishnyakov, Vlada Logunova +1
Nowadays, exploits often rely on a code-reuse approach. Short pieces of code called gadgets are chained together to execute some payload. Code-reuse attacks can exploit vulnerabili…
cs.CR2021★ 5 cited
Symbolic Security Predicates: Hunt Program Weaknesses
Alexey Vishnyakov, Vlada Logunova, Eli Kobrin +3
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect u…