62 citations · 62 across the 2 of their papers we have counts for
2 papers
cs.SE2026
CodeMechanic: Bug-Property-Guided Program Mitigation
Han Zheng, Rafaila Galanopoulou, Ilia Shumailov +4
Automated testing discovers vulnerabilities faster than developers can investigate and repair them, leaving an interval in which known memory corruptions remain exploitable. End- t…
cs.CR2020★ 62 cited
BaseSAFE: Baseband SAnitized Fuzzing through Emulation
Dominik Maier, Lukas Seidel, Shinjo Park
Rogue base stations are an effective attack vector. Cellular basebands represent a critical part of the smartphone's security: they parse large amounts of data even before authenti…