'On the quiet lake
A wise man contemplates
Tomorrow's puzzles
Stillness holds the key...'

The world class teams from the US and across Europe will arrive at EPFL to compete for the winning spot. 🏆
Organized by EPFL Computer and Communication Sciences and polygl0ts
More info 👉 lakectf.epfl.ch

#SuRI24 on Systems, Security, and Privacy is taking shape with an amazing set of speakers. Registration is free and we offer travel fellowships for students as well, so apply and join us Jul11/12! suri.epfl.ch

What an immense pleasure to host Julien Vanegue today in the HexHiveEPFL EPFL for a talk on improving verification to combat concurrency bugs. Best hacker formal talk, first time I understood several of these concepts 🐝🐝🐝

For those working on extending Chromium, rest assured that NASA engineers face the same challenge of waiting 20+hrs to get a response (but due to distance, not complexity) arstechnica.com/space/2024/04/…

I'm glad we have AI, great search engines, and recommendations. #BraveNewWorld theverge.com/2024/4/2/24117…

The videos of NDSS Symposium #NDSS24 are finally available. Enjoy a (re-)watch of the keynotes and check out the presentations of your favorite papers!

Scary how many people were involved in papering over a runtime oddity, when they were unknowingly working around bugs in a backdoor 😬

RIP Ross Anderson. You were an inspiration, a mentor, and a giant. You moved our field.

Writing secure software is hard and costly. This special IEEE ComputerSociety issue on secure software coding may be of interest to some to write about their experiences: computer.org/digital-librar…

People need to drop the 'I know that the compiler does'-model and start using the 'The compiler is an evil djinn, secretly trying to corrupt your wishes with the moral compass of tobacco industry lawyers'-model of C semantics.

We are so back 😎

support.shellphish.net/blog/2024/03/1…

A gentle introduction into fuzzing, it's intricacies, a deep dive into control, and so much more. One of the theses you actually want to read! Congratulations to Andrea Fioraldi for this amazing piece of work.

So true! We're great at finding vulnerabilities, e.g., hundreds of candidates from fuzzing. Turning any of them into an exploit is art and requires incredible amounts of skill. And we mostly fail at it.

Please remind me again why we're spending multiple days carefully reviewing and writing rebuttals (including debunking provably false claims) when reviewers don't respond at all? #FunWithPeerReview

#NDSS25 is calling for reviewers, please sign up and nominate your peers for the TPC: docs.google.com/forms/d/e/1FAI…

Congratulations to Ahmad Hazimeh for passing his public defense. You are now officially a doctor. I'm proud of another member of the #HexHive family that sets off to explore the world of bugs! Have a save flight and you'll always be welcome back in the hive!

First, Konrad Rieck 🌈 is a pioneer of ML security and has an awesome lab. Second, Berlin is not too bad to live in. Go apply!

What an awesome #NDSSSymposium2024 ! Over 4000 emails, more than half in the last two weeks. Over 1500 HotCRP comments. Over 600 attendees, 140 paper presentations across three parallel sessions, and two amazing keynotes. 10/10, amazing experience, would do again (after a break)!