Good bye San Diego and #NDSS25, it was a pleasure. Until next year (hopefully) for #NDSS26. What an amazing trip overall with great discussions, the best tacos and the best people! nebelwelt.net/blog/2025/02...

Dumpling: dumping fine-grained execution state JavaScript engines face a dilemma: on one end, they need to be extremely efficient as they are processing millions of lines of JavaScript code,...

To anyone fuzzing JavaScript: check out Dumpling, our new oracle for precise state comparison #NDSS25. nebelwelt.net/blog/2025/02...

QMSan: discovering uninitialized memory errors in binaries Sanitizers serve as the primary bug detection Oracle during automated testing. They

Did you always want to fuzz with #MSan but were worried about false positives? Fear no more, with QMsan #NDSS25, we create a binary-rewriting based approach that reduces false positives efficiently! nebelwelt.net/blog/2025/02...

Truman: discovering hypervisor bugs through virtual device models Hypervisors power not just the cloud but are becoming a commodity in mobile phones and desktops as well. They separate virtual machines from each...

Interested in #fuzzing #hypervisors? With Truman we create precise device models that are state-aware and precisely mutate message sequences #NDSS25 nebelwelt.net/blog/2025/02...

Thrilled to share that our work type++, a novel C++ dialect designed to eliminate type confusion by design, won the Best Paper Award at #NDSS25! 🏆🚀
#EPFL #RUB
@gannimo.bsky.social Nicolas Badoux Yuseok Jeon

www.ndss-symposium.org/wp-content/u...

Our work DUMPLING won the Best Paper Award at #NDSS25! Check out how we uncover differential bugs in JS engines, 🏆🎉
#RUB #CASA #EPFL #NDSS @gannimo.bsky.social Liam Wachter, Julian Gremminger, Christian Wressnegger

www.ndss-symposium.org/wp-content/u...

I'm on my way to San Diego for Internet Society's yearly Symposium on Networked and Distributed Systems. If you're around, reach out and ping me if you want to go for a run along the beach in the morning! 🏃 #NDSS25