research
∙
07/05/2023
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
This paper presents the FormAI dataset, a large collection of 112, 000 A...
share
research
∙
06/14/2023
Privacy-Preserving Password Cracking: How a Third Party Can Crack Our Password Hash Without Learning the Hash Value or the Cleartext
Using the computational resources of an untrusted third party to crack a...
research
∙
11/23/2022
Emerging Biometric Modalities and their Use: Loopholes in the Terminology of the GDPR and Resulting Privacy Risks
Technological advancements allow biometric applications to be more omnip...
research
∙
10/14/2021