- ๐ญ Iโm currently working on
- Building Cryspen
- Tooling to verify crypto code and protocols
- Implementing OpenMLS
- ๐ฑ Iโm learning to mediate ๐ง๐ป
- ๐ฏ Iโm looking to collaborate on cryptography analysis, design, and implementation
franziskuskiefer / rust-hacl-star Goto Github PK
View Code? Open in Web Editor NEWHACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
License: MIT License