Lesly-Ann Daniel's Avatar

Lesly-Ann Daniel

@lesly-ann

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

73
Followers
103
Following
4
Posts
19.03.2025
Joined
Posts Following

Latest posts by Lesly-Ann Daniel @lesly-ann

🚨 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
Preview
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
Post image

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.

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
Post image

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
Preview
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