π¨ 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!
22.09.2025 09:50
π 5
π 4
π¬ 0
π 0
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 ...
π¨ 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...
08.09.2025 17:59
π 1
π 1
π¬ 0
π 0
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! π₯³
28.07.2025 10:20
π 14
π 0
π¬ 4
π 0
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...
20.06.2025 18:18
π 1339
π 707
π¬ 39
π 100
Decrypting Diversity Summit
Decrypting Diversity Summit
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.
15.05.2025 14:34
π 2
π 4
π¬ 1
π 0
a poster announcing the dimva diversity grants, highlighting the application date of may 31st.
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...
14.05.2025 14:15
π 1
π 2
π¬ 0
π 0
Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!
14.05.2025 06:45
π 28
π 17
π¬ 2
π 3
SuRI @ EPFL
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
07.05.2025 15:20
π 4
π 0
π¬ 0
π 0
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.
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
22.04.2025 15:35
π 143
π 50
π¬ 11
π 11