📢 PriSC 2027 CFP The 2027 Workshop on Principles of Secure Compilation (PriSC) will take place on January 11, 2027, co-located with POPL in Mexico City. 🗓 Submission deadline: Oct. 15, 2026 🔗 popl27.sigplan.org/home/prisc-2... Please share with anyone who might be interested!

PriSC 2027 - POPL 2027

11th Workshop on Principles of Secure Compilation Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities ...

popl27.sigplan.org

🚨 EURECOM is recruiting a PhD student (and master-level interns) on verification and testing at the hardware-software boundary 🌄 Amazing location between sea & mountain 💡 3-year position 🌍 International environment (no French required!) You're a curious and motivated student? Reach out!

🚨 Call for Presentations – PriSC 2026 We welcome presentations on secure compilation, multi-language security, low-level enforcement, etc. Have exciting ideas to share with the community? Submit a 2-page abstract: popl26.sigplan.org/home/prisc-2...

PriSC 2026 - POPL 2026

10th Workshop on Principles of Secure Compilation Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities ...

popl26.sigplan.org

Last week was the final one at KU Leuven. I'm grateful to my wonderful colleagues who made it such an enjoyable place to work. Now it’s time for a new chapter: I’m excited to join EURECOM as an assistant professor this September! 🥳

Huge implications from this: Microsoft cut off the email of the chief prosecutor of the International Criminal Court, because of his work on Israel www.nytimes.com/2025/06/20/t...

Registrations for the Decrypting Diversity Summit are open: decryptingdiversity.com/registration/ The event's focus is to develop actions to better support underrepresented groups in cryptography while showcasing the exceptional career paths and research contributions of these communities.

We are committed to supporting diversity in our community! DIMVA'25 offers diversity grants of up to 800€ for participants who identify as women, non-binary, or belong to other underrepresented groups in IT security. Apply until May 31! 👉 dimva.org/dimva2025/#d...

Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!

The program for the Summer Research Institute at EPFL (June 12-13) is out! Lots of exciting talks about security, systems, and formal methods. I'm looking forward to speaking there 🤩! Plus, the event is free and offers fellowships to support participation, so make sure to register at suri.epfl.ch

The evidence for biosignatures on K2-18b is flimsy, at best Last week, Cambridge scientists announced the discovery of DMS and DMDS on K2-18b: what they call a "surefire biosignature." Now, cut through the hype and get to the truth. bigthink.com/starts-with-... #space #astronomy #science

The evidence for biosignatures on K2-18b is flimsy, at best

A Cambridge-based team claims to find molecules on an exoplanet that are only produced by life on Earth. Don't fall for the unfounded hype.

bigthink.com