Sign in

Lesly-Ann Daniel

@lesly-ann.bsky.social
82 followers 106 following 5 posts

Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. leslyann-daniel.fr

PostsRepliesMedia
Lesly-Ann Daniel @lesly-ann.bsky.social · 18/09/2026
📢 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!
popl27.sigplan.org
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 ...
041
Lesly-Ann Daniel @lesly-ann.bsky.social · 22/09/2025
🚨 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!
064
Lesly-Ann Daniel @lesly-ann.bsky.social · 08/09/2025
🚨 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...
popl26.sigplan.org
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 ...
021
Lesly-Ann Daniel @lesly-ann.bsky.social · 28/07/2025
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! 🥳
4150
Reposted by Lesly-Ann Daniel
Henry Mance @henrymance.ft.com · 20/06/2025
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...
381331702
Reposted by Lesly-Ann Daniel
Diego F. Aranha @dfaranha.bsky.social · 15/05/2025
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.
decryptingdiversity.com
Decrypting Diversity Summit
Decrypting Diversity Summit
124
Reposted by Lesly-Ann Daniel
DIMVA Conference @dimvaconf.bsky.social · 14/05/2025
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...
a poster announcing the dimva diversity grants, highlighting the application date of may 31st.
012
Reposted by Lesly-Ann Daniel
Clémentine Maurice @bloody-tangerine.bsky.social · 14/05/2025
Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!
22817
Lesly-Ann Daniel @lesly-ann.bsky.social · 07/05/2025
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
suri.epfl.ch
SuRI @ EPFL
050
Reposted by Lesly-Ann Daniel
Ethan Siegel @startswithabang.bsky.social · 22/04/2025
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
bigthink.com
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.
1114347