Tutorials
Tutorials and workshops hosted by Cryptolets
Tutorials
Cryptolets Tutorial @ ISCA 2026
Cryptolets: Building a Community and Open-Source Hardware Repository for Cryptographic Computing
Date: June 27, 2026
Location: Raleigh, USA
Hosted with:
ISCA 2026
FAVA @ ISCA 2026
FAVA: Formal Hardware Verification for Architects
Organizers: Caroline Trippel, Samantha Archer, Yao Hsiao
Hosted with: ISCA 2026
Workshops
ZKARCH 2026 Workshop
The 2nd Workshop on Architectures for Zero-Knowledge Proofs and Verifiable Computation
Date: October 31, 2026
Location: Athens, Greece (co-located with MICRO 2026)
ZKARCH 2025 Workshop
The 1st Workshop on Architectures for Zero-Knowledge Proofs and Verifiable Computation
Date: Saturday October 18, 2025
Location: Charlotte Room, Lotte Hotel Seoul, Seoul, Korea (in conjunction with MICRO 2025)