Cryptolets Tutorial at ISCA 2026

Cryptolets: Building a Community and Open-Source Hardware Repository for Cryptographic Computing

Event: ISCA 2026 Tutorial
Proposed Date: June 27 2026 (Saturday afternoon, half day)
Location: ISCA 2026 Conference Venue, Room 301B.

What is Cryptolets?

Cryptolets is an NSF CIRC Grand project building an open hardware ecosystem for cryptographic computing (e.g., zero-knowledge proofs and fully homomorphic encryption).

Why Cryptolets?

Cryptographic computing enables strong guarantees for privacy, integrity, and verifiability, but today’s systems are often too slow and too hard to build. Cryptolets lowers the barrier to entry with reusable hardware building blocks, chiplet-aware design flows, and shared evaluation infrastructure.

What this tutorial covers

  • The Cryptolets vision and how to get involved
  • Open-source hardware IP and chiplet-aware design/EDA workflows
  • Benchmarking and verification infrastructure for reproducible comparisons
  • Modular, extensible accelerators (not one-off bespoke designs)

Schedule (Tentative)

  • 13:00 - 13:20 Introducing Cryptolets (Brandon Reagen, NYU)
  • 13:20 - 13:40 Zero Knowledge Proofs (Rosario Gennaro, CUNY)
  • 13:40 - 14:00 Connecting Cryptolet Chiplets (Thierry Tambe, Stanford)
  • 14:00 - 14:20 ZKP Cryptocores (Siddharth Garg, NYU)
  • 14:20 - 14:40 Debunking the Formal Verification Bottleneck Myth (Caroline Trippel, Stanford)
  • 14:40 - 15:00 Break
  • 15:00 - 15:20 The Need for Standardized Benchmarks (Tushar Jois, CUNY)
  • 15:20 - 15:40 PPA of Chiplet Interfaces (Austin Rovinski, NYU)
  • 15:40 - 16:00 LLM4PQC: Natural Language to PQC Accelerators (Ramesh Karri, NYU)
  • 16:00 - 16:20 The Importance of Standardization of Design (Warren Savage, Rocksavage Tech.)
  • 16:20 - 16:45 Code Demo and Q&A
  • 16:45 - 17:00 Networking and Team Forming

Organizers

  • Warren Savage (Rocksavage Technology)
  • Brandon Reagen, Siddharth Garg, Austin Rovinski, Ramesh Karri (NYU)
  • Caroline Trippel, Thierry Tambe (Stanford)
  • Tushar Jois, Rosario Gennaro (CUNY)

For more details, contact the organizers or visit ISCA 2026.