syumei
- Karma
- 156
- Created
- 4 years ago
About
Ph.D. student @columbia working on Security, Crypto, and AI/MLRecent Submissions
- 1. ▲ Getting Started with Lean 4: Proofs as Code for Real Developers (medium.com)
- 2. ▲ Succinct Offers ZK Verification to Chainlink CCIP 2.0 Users (blog.succinct.xyz)
- 3. ▲ I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs (medium.com)
- 4. ▲ Proving Rust Web Application Correctness with Lean 4 (medium.com)
- 5. ▲ Can a coding agent formally verify what real-world Rust code does, in Lean 4? (i5h.dev)
- 6. ▲ I5h: Build a Rust Web App and Prove Its Behavior with Lean 4 (medium.com)
- 7. ▲ Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?
- 8. ▲ How JWT Authentication Works (medium.com)
- 9. ▲ Building a Browser Without V8: What Broke, and What Worked (medium.com)
- 10. ▲ Think Like an Attacker: CI/CD Security in the AI Era (medium.com)