Unrevealed Patterns in Password Databases Part One: Analyses of Cleartext Passwords. - Norbert Tihanyi; Attila Kovács; Gergely Vargha; Ádám Lénárt (PASSWORDS, 2014)

Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line. - Norbert Tihanyi (SYNASC, 2014)

Statistical Analysis of DH1 Cryptosystem. - Pál Dömösi; József Gáll; Géza Horváth; Norbert Tihanyi (Acta Cybern., 2017)

Computing Extremely Large Values of the Riemann Zeta Function. - Norbert Tihanyi; Attila Kovács; József Kovács (J. Grid Comput., 2017)

Computation Results of the Riemann Zeta Search Project. - Norbert Tihanyi; Attila Kovács (SYNASC, 2018)

Some Remarks and Tests on the Dh1 Cryptosystem Based on Automata Compositions. - Pál Dömösi; József Gáll; Géza Horváth; Norbert Tihanyi (Informatica (Slovenia), 2019)

The Theory and Practice of Magic Hash Based Attacks on Lightweight Cryptographic Hash Functions in Complex IoT Environments. - Norbert Tihanyi; Bertalan Borsos (SpaCCS Workshops, 2020)

A general construction for generating pseudorandom sequences using the digit expansion of real functions. - Norbert Tihanyi; Bertalan Borsos (SYNASC, 2020)

Numerical computing of extremely large values of the Riemann-Siegel Z-function - Norbert Tihanyi (2020)

Creating effective fingerprint artefacts: a cooperative and a non-cooperative method for bypassing capacitive and optical sensors with high success rate. - Ryan Carvalho; Norbert Tihanyi (ICCST, 2021)

A Full Cycle Length Pseudorandom Number Generator Based on Compositions of Automata. - Bertalan Borsos; Pál Dömösi; Yousef AlHammadi; Norbert Tihanyi; József Gáll; Géza Horváth (Informatica (Slovenia), 2021)

A Pseudorandom number Generator with Full Cycle Length based on Automata Compositions. - Bertalan Borsos; Pál Dömösi; Yousef AlHammadi; Norbert Tihanyi; József Gáll; Géza Horváth (Informatica (Slovenia), 2021)

Report on the First DES Fixed Points for Non-Weak Keys: Case-Study of Hacking an IoT Environment. - Norbert Tihanyi (IEEE Access, 2022)

The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification. - Norbert Tihanyi; Tamás Bisztray; Ridhi Jain; Mohamed Amine Ferrag; Lucas C. Cordeiro; Vasileios Mavroeidis (PROMISE, 2023)

Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. - Mohamed Amine Ferrag; Othmane Friha; Burak Kantarci; Norbert Tihanyi; Lucas C. Cordeiro; Mérouane Debbah; Djallel Hamouda; Muna Al-Hawawreh; Kim-Kwang Raymond Choo (IEEE Commun. Surv. Tutorials, 2023)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (CoRR, 2023)

Revolutionizing Cyber Threat Detection with Large Language Models. - Mohamed Amine Ferrag; Mthandazo Ndhlovu; Norbert Tihanyi; Lucas C. Cordeiro; Mérouane Debbah; Thierry Lestable (CoRR, 2023)

SecureFalcon: The Next Cyber Reasoning System for Cyber Security. - Mohamed Amine Ferrag; Ammar Battah; Norbert Tihanyi; Mérouane Debbah; Thierry Lestable; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Yiannis Charalambous; Norbert Tihanyi; Ridhi Jain; Youcheng Sun; Mohamed Amine Ferrag; Lucas C. Cordeiro (Zenodo, 2023)

FormAI Dataset: A Large Collection of AI-Generated C Programs and Their Vulnerability Classifications. - Norbert Tihanyi; Tamás Bisztray; Ridhi Jain; Mohamed Amine Ferrag; Lucas C. Cordeiro; Vasileios Mavroeidis (IEEE DataPort, 2023)

Simple chain automaton random number generator for IoT devices. - Pál Dömösi; Géza Horváth; Norbert Tihanyi (Acta Informatica, 2023)

Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence. - Norbert Tihanyi; Tamás Bisztray; Richard A. Dubniczky; Rebeka Tóth; Bertalan Borsos; Bilel Cherif; Ridhi Jain; Lajos Muzsai; Mohamed Amine Ferrag; Ryan Marinelli; Lucas C. Cordeiro; Mérouane Debbah; et al. (IEEE Big Data, 2024)

CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge. - Norbert Tihanyi; Mohamed Amine Ferrag; Ridhi Jain; Tamás Bisztray; Mérouane Debbah (CSR, 2024)

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. - Zaiyu Cheng; Tong Wu; Peter Schrammel; Norbert Tihanyi; Eddie B. de Lima Filho; Lucas C. Cordeiro (ISSTA, 2024)

Rapid Taint Assisted Concolic Execution (TACE). - Ridhi Jain; Norbert Tihanyi; Mthandazo Ndhlovu; Mohamed Amine Ferrag; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2024)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 2024)

Revolutionizing Cyber Threat Detection With Large Language Models: A Privacy-Preserving BERT-Based Lightweight Model for IoT/IIoT Devices. - Mohamed Amine Ferrag; Mthandazo Ndhlovu; Norbert Tihanyi; Lucas C. Cordeiro; Mérouane Debbah; Thierry Lestable; Narinderjit Singh Thandi (IEEE Access, 2024)

D(HE)at: A Practical Denial-of-Service Attack on the Finite Field Diffie-Hellman Key Exchange. - Szilárd Pfeiffer; Norbert Tihanyi (IEEE Access, 2024)

CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity. - Norbert Tihanyi; Mohamed Amine Ferrag; Ridhi Jain; Mérouane Debbah (CoRR, 2024)

Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models. - Norbert Tihanyi; Tamás Bisztray; Mohamed Amine Ferrag; Ridhi Jain; Lucas C. Cordeiro (CoRR, 2024)

Generative AI and Large Language Models for Cyber Security: All Insights You Need. - Mohamed Amine Ferrag; Fatima Alwahedi; Ammar Battah; Bilel Cherif; Abdechakour Mechri; Norbert Tihanyi (CoRR, 2024)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies. - Ridhi Jain; Norbert Tihanyi; Mohamed Amine Ferrag (CoRR, 2024)

Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence. - Norbert Tihanyi; Tamás Bisztray; Richard A. Dubniczky; Rebeka Tóth; Bertalan Borsos; Bilel Cherif; Mohamed Amine Ferrag; Lajos Muzsai; Ridhi Jain; Ryan Marinelli; Lucas C. Cordeiro; Mérouane Debbah (CoRR, 2024)

From 5G to 6G Networks: A Survey on AI-Based Jamming and Interference Detection and Mitigation. - Poonam Lohan; Burak Kantarci; Mohamed Amine Ferrag; Norbert Tihanyi; Yi Shi 001 (IEEE Open J. Commun. Soc., 2024)

Privacy-Preserving Password Cracking: How a Third Party Can Crack Our Password Hash Without Learning the Hash Value or the Cleartext. - Norbert Tihanyi; Tamás Bisztray; Bertalan Borsos; Sebastien Raveau (IEEE Trans. Inf. Forensics Secur., 2024)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. - Norbert Tihanyi; Yiannis Charalambous; Ridhi Jain; Mohamed Amine Ferrag; Lucas C. Cordeiro (AST@ICSE, 2025)

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. - Rafael Sá Menezes; Norbert Tihanyi; Ridhi Jain; Alexander Levin; Rosiane de Freitas; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2025)

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). - Tong Wu; Xianzhiyu Li; Edoardo Manino; Rafael Sá Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro (TACAS (3), 2025)

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection. - Richard A. Dubniczky; Krisztofer Zoltán Horvát; Tamás Bisztray; Mohamed Amine Ferrag; Lucas C. Cordeiro; Norbert Tihanyi (TASE, 2025)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview. - Norbert Tihanyi; Tamás Bisztray; Mohamed Amine Ferrag; Bilel Cherif; Richard A. Dubniczky; Ridhi Jain; Lucas C. Cordeiro (CoRR, 2025)

Reasoning Beyond Limits: Advances and Open Problems for LLMs. - Mohamed Amine Ferrag; Norbert Tihanyi; Mérouane Debbah (CoRR, 2025)

How secure is AI-generated code: a large-scale comparison of large language models. - Norbert Tihanyi; Tamás Bisztray; Mohamed Amine Ferrag; Ridhi Jain; Lucas C. Cordeiro (Empir. Softw. Eng., 2025)

From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review. - Mohamed Amine Ferrag; Norbert Tihanyi; Mérouane Debbah (CoRR, 2025)

SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection With LLMs? - Mohamed Amine Ferrag; Ammar Battah; Norbert Tihanyi; Ridhi Jain; Diana Maimut; Fatima Alwahedi; Thierry Lestable; Narinderjit Singh Thandi; Abdechakour Mechri; Mérouane Debbah; Lucas C. Cordeiro (IEEE Trans. Software Eng., 2025)

DFIR-Metric: A Benchmark Dataset for Evaluating Large Language Models in Digital Forensics and Incident Response. - Bilel Cherif; Tamás Bisztray; Richard A. Dubniczky; Aaesha Aldahmani; Saeed Alshehhi; Norbert Tihanyi (CoRR, 2025)

I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution. - Tamás Bisztray; Bilel Cherif; Richard A. Dubniczky; Nils Gruschka; Bertalan Borsos; Mohamed Amine Ferrag; Attila Kovács; Vasileios Mavroeidis; Norbert Tihanyi (CoRR, 2025)

From Prompt Injections to Protocol Exploits: Threats in LLM-Powered AI Agents Workflows. - Mohamed Amine Ferrag; Norbert Tihanyi; Djallel Hamouda; Leandros Maglaras; Mérouane Debbah (CoRR, 2025)