research
∙
07/13/2023
SecureFalcon: The Next Cyber Reasoning System for Cyber Security
Software vulnerabilities leading to various detriments such as crashes, ...
share
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...
research
∙
06/25/2023
Revolutionizing Cyber Threat Detection with Large Language Models
Natural Language Processing (NLP) domain is experiencing a revolution du...
research
∙
05/24/2023
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
In this paper we present a novel solution that combines the capabilities...
research
∙
04/12/2023
Generative Adversarial Networks-Driven Cyber Threat Intelligence Detection Framework for Securing Internet of Things
While the benefits of 6G-enabled Internet of Things (IoT) are numerous, ...
research
∙
03/21/2023
Generative AI for Cyber Threat-Hunting in 6G-enabled IoT Networks
The next generation of cellular technology, 6G, is being developed to en...
research
∙
12/15/2021
Cybersecurity Revisited: Honeytokens meet Google Authenticator
Although sufficient authentication mechanisms were enhanced by the use o...
research
∙
12/16/2020
A novel Two-Factor HoneyToken Authentication Mechanism
The majority of systems rely on user authentication on passwords, but pa...
research
∙
01/27/2019
Authentication and Authorization for Mobile IoT Devices using Bio-features: Recent Advances and Future Trends
Bio-features are fast becoming a key tool to authenticate the IoT device...
research
∙
01/12/2019
Threats, Protection and Attribution of Cyber Attacks on Critical Infrastructures
As Critical National Infrastructures are becoming more vulnerable to cyb...
research
∙
12/21/2018
A Novel Hierarchical Intrusion Detection System based on Decision Tree and Rules-based Models
This paper proposes a novel intrusion detection system (IDS) that combin...
research
∙
06/24/2018
Blockchain Technologies for the Internet of Things: Research Issues and Challenges
This paper presents a comprehensive survey of the existing blockchain pr...
research
∙
03/27/2018
Authentication schemes for Smart Mobile Devices: Threat Models, Countermeasures, and Open Research Issues
This paper presents a comprehensive investigation of authentication sche...
research
∙
11/01/2017
