Cordeiro, Lucas C.
- Revolutionizing Cyber Threat Detection with Large Language Models: A privacy-preserving BERT-based Lightweight Model for IoT/IIoT Devices
2023/06/25 by Mohamed Amine Ferrag, Mthandazo Ndhlovu, Ferrag, Mohamed Amine +10 · 9 citations
Computer Science · #Network Security and Intrusion Detection #Advanced Malware Detection Techniques #Digital and Cyber Forensics
- SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
2023/07/13 by Mohamed Amine Ferrag, Ammar Battah, Ferrag, Mohamed Amine +11 · 8 citations
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Software Engineering Research
- A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
2023/05/24 by Tihanyi, Norbert, Jain, Ridhi, Charalambous, Yiannis +3 · 7 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
2025/03/13 by Tihanyi, Norbert, Bisztray, Tamas, Ferrag, Mohamed Amine +4 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Generative transformations and patterns in LLM-native approaches for software verification and falsification
2024/04/14 by Vı́ctor Braberman, Flavia Bonomo, Braberman, Víctor A. +9 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #D.2.4 #D.2.5 #F.3.1 #FOS: Computer and information sciences #I.2.7 #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
- ESBMC-Python: A Bounded Model Checker for Python Programs
2024/07/03 by Farias, Bruno, Menezes, Rafael, Filho, Eddie B. de Lima +2 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
2022/06/28 by Kaled M. Alshmrany, Mohannad Aldughaim, Alshmrany, Kaled M. +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Radiation Effects in Electronics #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
2025/03/12 by Richard A. Dubniczky, Krisztofer Zoltán Horvát, Dubniczky, Richard A. +9 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Web Application Security Vulnerabilities
- Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study
2023/03/21 by Ferrag, Mohamed Amine, Kantarci, Burak, Cordeiro, Lucas C. +2 · 1 citation
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Model Checking C++ Programs
2021/07/02 by Monteiro, Felipe R., Gadelha, Mikhail R., Cordeiro, Lucas C. · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- CEG4N: Counter-Example Guided Neural Network Quantization Refinement
2022/07/09 by Matos, João Batista P., Bessa, Iury, Manino, Edoardo +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)