Andrea Flamini, Silvio Ranise, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
In: 20th International Conference on Security and Cryptography (SECRYPT 2023) (DOI)
Zero-Knowledge Proof
Privacy Enhancing Cryptography
February 9-13, 2026 •
Academic
Matteo Busi, Stefano Berlato, Riccardo Longo, Mario Scuro Exploring the Ecosystem of Security and Correctness Analysis Tools for Zero-Knowledge Proofs
Italian Conference on CyberSecurity (ITASEC) 2026
(Event, Project, Project)
2025
February 3- 8, 2025 •
Academic
Riccardo Germenia, Salvatore Manfredi, Giada Sciarretta, Mario Scuro, Alessandro Tomasi Comparison of Credential Status Mechanisms for the Digital Wallet Ecosystem
Italian Conference on CyberSecurity (ITASEC) 2025
(Event, Project)