Marco Guarnieri
LightNews LightNews
mguarnieri.bsky.social
Marco Guarnieri
@mguarnieri.bsky.social
66 followers 160 following 0 posts
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Posts Replies Media Videos
Reposted by Marco Guarnieri
mboehme.bsky.social
Feature of our #ICLR'25 Spotlight paper, just presented in Singapore.
www.mpi-sp.org/81927/news_p...
How solving classic probability problems can help computer scientists find bugs
How solving classic probability problems can help computer scientists find bugs
www.mpi-sp.org
April 26, 2025 at 6:59 PM