2 citations · 4 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
Haoxin Tu, Lingxiao Jiang, Marcel Böhme
How to find memory safety bugs efficiently when navigating a symbolic execution tree that suffers from path explosion? Existing solutions either adopt path search heuristics to max…
cs.CR2024★ 1 cited
Testing side-channel security of cryptographic implementations against future microarchitectures
Gilles Barthe, Marcel Böhme, Sunjay Cauligi +7
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started deve…