Lucas C. Cordeiro

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 162

Top Venues

CoRR

SBESC

TACAS (2)

Int. J. Softw. Tools Technol. Transf.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa
Synthetic Data Aided Federated Learning Using Foundation Models. CoRR (2024)
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
Was it Slander? Towards Exact Inversion of Generative Language Models. CoRR (2024)
Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) (2024)
Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro
Rapid Taint Assisted Concolic Execution (TACE). SIGSOFT FSE Companion (2024)
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning. CoRR (2024)
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR (2024)
Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable, Narinderjit Singh Thandi
Revolutionizing Cyber Threat Detection With Large Language Models: A Privacy-Preserving BERT-Based Lightweight Model for IoT/IIoT Devices. IEEE Access 12 (2024)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. Formal Aspects Comput. 36 (2) (2024)
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. CoRR (2024)
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST. CoRR (2024)
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR (2024)
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR (2024)
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
Automated Repair of AI Code with Large Language Models and Formal Verification. CoRR (2024)
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models. CoRR (2024)
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (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)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. SEFM (2023)
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. CoRR (2023)
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR (2023)
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). FASE (2023)
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
Interventional Probing in High Dimensions: An NLI Case Study. EACL (Findings) (2023)
Kamil Erdayandi, Lucas C. Cordeiro, Mustafa A. Mustafa
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. CoRR (2023)
Rafael G. Silvestrim, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes, Lucas C. Cordeiro
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. SBESC (2023)
Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable
Revolutionizing Cyber Threat Detection with Large Language Models. CoRR (2023)
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. CoRR (2023)
Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro
Evaluation of Ginga's CC-Web-Service Module. ICCE-Taiwan (2023)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards global neural network abstractions with locally-exact reconstruction. Neural Networks 165 (2023)
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
NeuroCodeBench: a plain C neural network benchmark for software verification. CoRR (2023)
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-enabled IoTs: An Anticipatory Study. CoRR (2023)
Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR (2023)
Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. 33 (1) (2023)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) (2023)
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses. IEEE Commun. Surv. Tutorials 25 (4) (2023)
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. FoMLAS@CAV (2023)
Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Mérouane Debbah, Thierry Lestable, Lucas C. Cordeiro
SecureFalcon: The Next Cyber Reasoning System for Cyber Security. CoRR (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF (2023)
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
Poisoning Attacks in Federated Edge Learning for Digital Twin 6G-Enabled IoTs: An Anticipatory Study. ICC Workshops (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs using Clang AST. CoRR (2023)
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
Interventional Probing in High Dimensions: An NLI Case Study. 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)
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. CoRR (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. CoRR (2023)
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev (2022)
Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. ACL (Findings) (2022)
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Model checking C++ programs. Softw. Test. Verification Reliab. 32 (1) (2022)
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Summary of Model Checking C++ Programs. ICST (2022)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). FASE (2022)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR (2022)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10 (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA (2022)
Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach. CoRR (2022)
Tong Wu, Peter Schrammel, Lucas C. Cordeiro
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). TACAS (2) (2022)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR (2022)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. CoRR (2022)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR (2022)
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA (2022)
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
Montague semantics and modifier consistency measurement in neural language models. CoRR (2022)
Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. CoRR (2022)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. CoRR (2022)
Edoardo Manino, Danilo Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Lujan, Xiaowei Huang, Lucas C. Cordeiro
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR (2022)
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). FASE (2021)
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Model Checking C++ Programs. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)
Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC 6.1: automated test case generation using bounded model checking. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Mengze Li, Lucas C. Cordeiro
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. SBESC (2021)
Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. CoRR (2021)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR (2021)
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR (2021)
Nedas Matulevicius, Lucas C. Cordeiro
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. SBESC (2021)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF (2021)
Lucas C. Cordeiro
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. LADC (Companion) (2021)
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. CoRR (2021)
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. CoRR (2020)
Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5 (1) (2020)
Alessandro Trindade, Lucas C. Cordeiro
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. VSTTE (2020)
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs. CoRR (2020)
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. VSTTE (2020)
Kaled M. Alshmrany, Lucas C. Cordeiro
Finding Security Vulnerabilities in Network Protocol Implementations. CoRR (2020)
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR (2020)
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
Verifying Software Vulnerabilities in IoT Cryptographic Protocols. CoRR (2020)
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57 (1-2) (2020)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) (2020)
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE (2020)
Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu
Bounded Model Checking of Software Using Interval Methods via Contractors. CoRR (2020)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). TACAS (3) (2019)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC (2019)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR (2019)
Alessandro Trindade, Lucas C. Cordeiro
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis. CoRR (2019)
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2.0. J. Syst. Softw. 153 (2019)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). TACAS (3) (2019)
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. CoRR (2019)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR (2019)
Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro
Boost the Impact of Continuous Formal Verification in Industry. CoRR (2019)

Lucas C. Cordeiro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lucas C. Cordeiro