Welcome to the First Workshop on Assisted Cryptographic Technologies for Implementation Verification (ACTIVE2026) submissions site. For general information, see https://active.cs.ru.nl/2026/.

Submissions

Sign in to manage submissions.

Deadline: Friday Jul 24, 2026, 12 AM AoE