5 citations · 19 across the 16 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CR2024
Adaptive Exploit Generation against Security Devices and Security APIs
Robert Künnemann, Julian Biehl
Proof-of-concept exploits help demonstrate software vulnerability beyond doubt and communicate attacks to non-experts. But exploits can be configuration-specific, for example when…
cs.CR2024★ 1 cited
Computationally Bounded Robust Compilation and Universally Composable Security
Robert Künnemann, Marco Patrignani, Ethan Cecchetti
Universal Composability (UC) is the gold standard for cryptographic security, but mechanizing proofs of UC is notoriously difficult. A recently-discovered connection between UC and…