Anna Weine
Security Engineer at Mozilla
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAnna Weine is a security engineer based in Paris with 11 years of experience bridging formal verification and practical cryptographic engineering. Currently at Mozilla, she brings deep academic rigor from a PhD in security/verification at Inria to production security work, particularly on formally verified cryptographic primitives. Her open-source contributions to the well-regarded HACL* project include implementing ECC primitives, generating verified C code with KreMLin, and hardening signing, verification, and key validation paths. She has hands-on experience with fault attacks and blockchain verification from earlier internships, reflecting a rare combination of offensive and defensive security insight. Anna is fluent in moving formally proven designs into real-world code, making her valuable for high-assurance security initiatives.
11 years of coding experience
1 year of employment as a software developer
Master's degree, M2 SCCI, Master's degree, M2 SCCI at Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées de GrenobleBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Университет ИТМО
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
c1710
ecdsa10
fs10
f10
c1110
sha10
cryptography10
fstar10
security10
formal-verification9
Programming languages (12)
Github contributions (5)
hacl-star/hacl-star
Jan 2019 - Oct 2022
HACL*, a formally verified cryptographic library written in F*
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:30 reviews, 1325 commits, 30 PRs in 3 years 10 months
Contributions summary:Anna's contributions focused on implementing and integrating Elliptic Curve Cryptography (ECC) primitives within the HACL* cryptographic library, which is written in F*. Their work includes generating new code with KreMLin and addressing issues related to the SHA-1 algorithm. These changes involved generating and modifying C code for cryptographic operations, with the goal of achieving formally verified cryptographic primitives and enhancing security. Specifically, the user has worked on signing, verification, and key validation as well as other improvements to the cryptographic library.
inriacoq-librarycryptographicformal-verificationverified
Frosne/ClaimChain
Feb 2017 - Sep 2017
Contributions:81 commits, 2 PRs, 150 pushes in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.