Lesly-Ann Daniel
@lesly-ann.bsky.social
Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Pinned
Lesly-Ann Daniel
@lesly-ann.bsky.social
· Sep 22
🚨 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!
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
🚨 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!
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
September 22, 2025 at 9:50 AM
🚨 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!
🌄 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...
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
September 8, 2025 at 5:59 PM
🚨 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...
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...
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! 🥳
Now it’s time for a new chapter: I’m excited to join EURECOM as an assistant professor this September! 🥳
July 28, 2025 at 10:20 AM
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! 🥳
Now it’s time for a new chapter: I’m excited to join EURECOM as an assistant professor this September! 🥳
Reposted by Lesly-Ann Daniel
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...
June 20, 2025 at 6:18 PM
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...
Reposted by Lesly-Ann Daniel
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/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.
Decrypting Diversity Summit
Decrypting Diversity Summit
decryptingdiversity.com
May 15, 2025 at 2:34 PM
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/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.
Reposted by Lesly-Ann Daniel
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...
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...
May 14, 2025 at 2:15 PM
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...
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...
Reposted by Lesly-Ann Daniel
Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!
May 14, 2025 at 6:45 AM
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
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
suri.epfl.ch
May 7, 2025 at 3:21 PM
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
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
Reposted by Lesly-Ann Daniel
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
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
April 22, 2025 at 3:35 PM
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
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