applied crypto | privacy | blockchain
- Singapore
- https://hackmd.io/@alxiong
- @alex_xiong_
Stars
✅ Formal Verification
6 repositories
Cryptographic Primitive Code Generation by Fiat
Language for high-assurance and high-speed cryptography
APALACHE: symbolic model checker for TLA+ and Quint