Hi, I’m remix7531. This website documents my work on formal verification and cryptography.
I focus on applying formal methods to strengthen the security and reliability of cryptographic implementations. Using proof assistants and verification tools, I work to prove correctness and safety properties of critical cryptographic code.
Current areas of interest include:
- Formal verification of RustCrypto libraries (sha2, k256)
- secp256k1 implementations and multi-scalar multiplication
- Memory safety, termination and functional correctness proofs
Contact: remix7531@mailbox.org