Concepedia

Lucas C. Cordeiro

LC

Statistics

Publications

51

Citations

1.9K

H-Index

22

Active since

2007

Affiliations

Universidade Federal do Amazonas(Current)

University of Manchester

University of Southampton

University of Oxford

Technology Innovation Institute

Lucas C. Cordeiro is an author at Universidade Federal do Amazonas specializing in computer science, formal methods, and computing.

Publications per year

2007–2024

51

Publications

51

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 et al. · IEEE Access · 2024 · 227 citations · Full text

Computing, Computer Science, Cybersecurity +13

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · 2009 · 200 citations

Computing, Computer Engineering, Computer Science +9

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · IEEE Transactions on Software Engineering · 2011 · 153 citations

Computing, Computer Engineering, Computer Science +9

Verifying multi-threaded software using smt-based context-bounded model checking

Lucas C. Cordeiro, Bernd Fischer · 2011 · 139 citations

Computing, Computer Engineering, Computer Science +17

Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses

Mohamed Amine Ferrag, Othmane Friha, Burak Kantarcı et al. · IEEE Communications Surveys & Tutorials · 2023 · 130 citations

Computing, Computer Science, Cybersecurity +17

1–5 of 51