
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de
Research Group: mpi-softsec.github.io
ID: 1092204964632383488
https://mboehme.github.io 03-02-2019 23:35:30
6,6K Tweet
6,6K Followers
1,1K Following

11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. Ian McCormack, Joshua Sunshine, and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior.


The ERC welcomes the offer of substantial additional budget from the European Commission for the development of a new ERC funding instrument offering larger, longer-term grants, as announced by President Ursula von der Leyen at the Sorbonne this morning. europa.eu/!NTYTTV

Thrilled to announce my new Project Zero blog post is LIVE! 🎉 I detail my knowledge-driven fuzzing process to find sandbox escape vulnerabilities in CoreAudio on MacOS. I'll talk about this and the exploitation process next week offensivecon! googleprojectzero.blogspot.com/2025/05/breaki…




We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of ISSTA Conference at Trondheim, Norway): [*] Will Wilson, CEO and Co-Founder of Antithesis [*] Miryung Kim, Professor and Vice Chair of Graduate Studies at UCLA Computer Science conf.researchr.org/home/issta-202…
![Rohan Padhye (@moarbugs) on Twitter photo We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of <a href="/issta_conf/">ISSTA Conference</a> at Trondheim, Norway):
[*] Will Wilson, CEO and Co-Founder of <a href="/AntithesisHQ/">Antithesis</a>
[*] Miryung Kim, Professor and Vice Chair of Graduate Studies at <a href="/UCLAComSci/">UCLA Computer Science</a>
conf.researchr.org/home/issta-202… We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of <a href="/issta_conf/">ISSTA Conference</a> at Trondheim, Norway):
[*] Will Wilson, CEO and Co-Founder of <a href="/AntithesisHQ/">Antithesis</a>
[*] Miryung Kim, Professor and Vice Chair of Graduate Studies at <a href="/UCLAComSci/">UCLA Computer Science</a>
conf.researchr.org/home/issta-202…](https://pbs.twimg.com/media/Gr-ezgdXcAAS1gL.png)


Are you interested in serving on the Program Committee for ISSTA Conference 2026? Please let us know by filling out this form: forms.gle/MaXAKysfMSdqTg…

📢 FUZZING NEWS! For many years Caroline Lemieux and I got asked whether JQF/Zest mutations always preserve input structure. THEY DON'T! There's sometimes a disruptive "havoc" effect. BeDivFuzz (Hoang Lam Nguyen) and Zeugma (Jonathan Bell) do a much better job avoiding it. But WAIT....


... does it really matter in practice? Perhaps the havoc effect is benign, or maybe even a good thing?! Our students Ao Li Vasu Vikram Madonna Huang studied this all in great depth! Read more in our upcoming ACM TOSEM paper on the "Havoc Paradox". 📄 dl.acm.org/doi/pdf/10.114…



Association for Computing Machinery Council has reaffirmed yesterday that all ACM publications and related research artifacts in the ACM Digital Library (ACM Digital Library) will be fully openly available after 1-1-2026. Computing science material of the highest quality freely available to all! #OpenAccess

