Sign in
Tamás Bisztray
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 9
Top Topics
Data Providers
Symbolic Model Checking
Formal Verification
Data Protection
Top Venues
CoRR
IEEE Trans. Inf. Forensics Secur.
Open Identity Summit
BIOSIG
</>
Publications
</>
Norbert Tihanyi
,
Tamás Bisztray
,
Bertalan Borsos
,
Sebastien Raveau
Privacy-Preserving Password Cracking: How a Third Party Can Crack Our Password Hash Without Learning the Hash Value or the Cleartext.
IEEE Trans. Inf. Forensics Secur.
19 (2024)
Norbert Tihanyi
,
Tamás Bisztray
,
Ridhi Jain
,
Mohamed Amine Ferrag
,
Lucas C. Cordeiro
,
Vasileios Mavroeidis
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification.
PROMISE
(2023)
Norbert Tihanyi
,
Tamás Bisztray
,
Bertalan Borsos
,
Sebastien Raveau
Privacy-Preserving Password Cracking: How a Third Party Can Crack Our Password Hash Without Learning the Hash Value or the Cleartext.
CoRR
(2023)
Norbert Tihanyi
,
Tamás Bisztray
,
Ridhi Jain
,
Mohamed Amine Ferrag
,
Lucas C. Cordeiro
,
Vasileios Mavroeidis
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification.
CoRR
(2023)
Tamás Bisztray
,
Nils Gruschka
,
Thirimachos Bourlai
,
Lothar Fritsch
Emerging Biometric Modalities and their Use: Loopholes in the Terminology of the GDPR and Resulting Privacy Risks.
CoRR
(2022)
Tamás Bisztray
,
Nils Gruschka
Privacy Impact Assessment: Comparing methodologies with a focus on practicality.
CoRR
(2021)
Tamás Bisztray
,
Nils Gruschka
,
Thirimachos Bourlai
,
Lothar Fritsch
Emerging biometric modalities and their use: Loopholes in the terminology of the GDPR and resulting privacy risks.
BIOSIG
(2021)
Tamás Bisztray
,
Nils Gruschka
,
Vasileios Mavroeidis
,
Lothar Fritsch
Data Protection Impact Assessment in Identity Control Management with a Focus on Biometrics.
Open Identity Summit
(2020)
Tamás Bisztray
,
Nils Gruschka
Privacy Impact Assessment: Comparing Methodologies with a Focus on Practicality.
NordSec
(2019)