🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Come and talk to us at ECOOP’24 Conference! You can find @f_busse Manuel Carrasco Markus Nowack and Daniel Schemmel here.

On June 7th, we held the #ECOOP22 Doctoral Symposium with elevator pitches and talks by Pietro Barbieri, Jens Van der Plas, Bernardo Almeida, Albert Zak, Manuel Carrasco and a keynote on "How to get your Ph.D. DONE!" by Eric Jul. Great job, everyone! 🎓👏 2022.ecoop.org/track/ecoop-20…

Great SRG seminar from Brendan Dolan-Gavitt today on finding bugs in device drivers! srg.doc.ic.ac.uk/seminars/22-06…

Anastasios Anastasios Andronidis and I are delighted to announce SnapFuzz, our fuzzing framework for network applications: srg.doc.ic.ac.uk/publications/2…

Extremely happy to give an overview of our work at the Klee workshop. Can't wait to attend it physically again, the previous editions were just great

"How to Win SV-COMP with Symbolic Execution": delighted to announce our third keynote for the upcoming KLEE workshop, from Jan Strejček of Masaryk University. srg.doc.ic.ac.uk/klee22/keynote…

"The S2E Platform: A Journey from a Research Prototype to a Commercial Product" -- delighted to announce the fourth and final keynote at the upcoming KLEE workshop, from Vitaly Chipounov of Cyberhaven. srg.doc.ic.ac.uk/klee22/keynote…

Looking forward to Vitaly Chipounov's talk on S2E, one of the first and most influential systems making use of KLEE. I recall the first talk I saw on S2E at a EuroSys_conf 2011 workshop from George Candea, looking forward to learning about the journey to a commercial product!

In-person registration for the 3rd KLEE workshop is now open. Secure early-bird pricing by registering before 10 Aug 2022, thanks to our sponsors Bloomberg, Samsung, Google, Qualcomm, Trail of Bits, and Imperial College London! srg.doc.ic.ac.uk/klee22/registr…

The early bird registration is closing on 10 Aug. Register for the workshop now!

At the Summer School on Security Testing and Verification at KU Leuven, Cristian Cadar just presented “Testing Your Software with Dynamic Symbolic Execution”, culminating in a hands-on session with kleesymex, given by Martin Nowack!

Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with Cristian Cadar - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! doc.ic.ac.uk/~afd/papers/20…

Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. Manuel Carrasco Cristian Cadar Alastair Donaldson Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/