Raúl Casanova Marqués, Petr Dzurenda, Jan Hajny: Implementation of Revocable Keyed-Verification Anonymous Credentials on Java Card. ARES 2022: 140:1-140:8