Anomalous Payload-Based Worm Detection and Signature Generation. - Ke Wang 009; Gabriela F. Cretu; Salvatore J. Stolfo (RAID, 2005)

Intrusion and anomaly detection model exchange for mobile ad-hoc networks. - Gabriela F. Cretu; Janak J. Parekh; Ke Wang 009; Salvatore J. Stolfo (CCNC, 2006)

From STEM to SEAD: Speculative Execution for Automated Defense. - Michael E. Locasto; Angelos Stavrou; Gabriela F. Cretu; Angelos D. Keromytis (USENIX ATC, 2007)

Return Value Predictability Profiles for Self-healing. - Michael E. Locasto; Angelos Stavrou; Gabriela F. Cretu; Angelos D. Keromytis; Salvatore J. Stolfo (IWSEC, 2008)

Hunting for Problems with Artemis. - Gabriela F. Cretu-Ciocarlie; Mihai Budiu; Moisés Goldszmidt (WASL, 2008)

Casting out Demons: Sanitizing Training Data for Anomaly Sensors. - Gabriela F. Cretu; Angelos Stavrou; Michael E. Locasto; Salvatore J. Stolfo; Angelos D. Keromytis (SP, 2008)

Keep your friends close: the necessity for updating an anomaly sensor with legitimate environment changes. - Angelos Stavrou; Gabriela F. Cretu-Ciocarlie; Michael E. Locasto; Salvatore J. Stolfo (AISec, 2009)

Adaptive Anomaly Detection via Self-calibration and Dynamic Updating. - Gabriela F. Cretu-Ciocarlie; Angelos Stavrou; Michael E. Locasto; Salvatore J. Stolfo (RAID, 2009)

Detecting anomalies in cellular networks using an ensemble method. - Gabriela F. Ciocarlie; Ulf Lindqvist; Szabolcs Nováczki; Henning Sanneck (CNSM, 2013)

Demo: SONVer: SON verification for operational cellular networks. - Gabriela F. Ciocarlie; Chih-Chieh Cheng; Christopher Connolly; Ulf Lindqvist; Kenneth Nitz; Szabolcs Nováczki; Henning Sanneck; Muhammad Naseer ul Islam (ISWCS, 2014)

Managing scope changes for cellular network-level anomaly detection. - Gabriela F. Ciocarlie; Chih-Chieh Cheng; Christopher Connolly; Ulf Lindqvist; Szabolcs Nováczki; Henning Sanneck; Muhammad Naseer ul Islam (ISWCS, 2014)

Anomaly Detection and Diagnosis for Automatic Radio Network Verification. - Gabriela F. Ciocarlie; Christopher Connolly; Chih-Chieh Cheng; Ulf Lindqvist; Szabolcs Nováczki; Henning Sanneck; Muhammad Naseer ul Islam (MONAMI, 2014)

On the feasibility of deploying cell anomaly detection in operational cellular networks. - Gabriela F. Ciocarlie; Ulf Lindqvist; Kenneth Nitz; Szabolcs Nováczki; Henning Sanneck (NOMS, 2014)

DCAD: Dynamic Cell Anomaly Detection for operational cellular networks. - Gabriela F. Ciocarlie; Ulf Lindqvist; Kenneth Nitz; Szabolcs Nováczki; Henning Sanneck (NOMS, 2014)

Alarm Prioritization and Diagnosis for Cellular Networks. - Gabriela F. Ciocarlie; Eric Yeh; Christopher Connolly; Cherita Corbett; Ulf Lindqvist; Henning Sanneck; Kimmo Hätönen; Szabolcs Nováczki; Muhammad Naseer ul Islam; Borislava Gajic (MONAMI, 2015)

Diagnosis cloud: Sharing knowledge across cellular networks. - Gabriela F. Ciocarlie; Cherita Corbett; Eric Yeh; Christopher Connolly; Henning Sanneck; Muhammad Naseer ul Islam; Borislava Gajic; Szabolcs Nováczki; Kimmo Hätönen (CNSM, 2016)

Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things. - Ioannis Agadakos; Chien-Ying Chen; Matteo Campanelli; Prashant Anantharaman; Monowar Hasan; Bogdan Copos; Tancrède Lepoint; Michael E. Locasto; Gabriela F. Ciocarlie; Ulf Lindqvist (CPS-SPC@CCS, 2017)

Low-Leakage Secure Search for Boolean Expressions. - Fernando Krell; Gabriela F. Ciocarlie; Ashish Gehani; Mariana Raykova 001 (CT-RSA, 2017)

Building Hardened Internet-of-Things Clients with Language-Theoretic Security. - Prashant Anantharaman; Michael E. Locasto; Gabriela F. Ciocarlie; Ulf Lindqvist (IEEE Symposium on Security and Privacy Workshops, 2017)

Risks and Benefits of Side-Channels in Battlefields. - Ioannis Agadakos; Gabriela F. Ciocarlie; Bogdan Copos; Tancrède Lepoint; Ulf Lindqvist; Michael E. Locasto; James R. Michaelis (FUSION, 2018)

BlockCIS - A Blockchain-Based Cyber Insurance System. - Tancrède Lepoint; Gabriela F. Ciocarlie; Karim Eldefrawy (IC2E, 2018)

MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. - Yonghwi Kwon 001; Fei Wang 001; Weihang Wang 001; Kyu Hyung Lee; Wen-Chuan Lee; Shiqing Ma; Xiangyu Zhang 001; Dongyan Xu; Somesh Jha; Gabriela F. Ciocarlie; Ashish Gehani; Vinod Yegneswaran (NDSS, 2018)

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. - Shiqing Ma; Juan Zhai; Yonghwi Kwon 001; Kyu Hyung Lee; Xiangyu Zhang 001; Gabriela F. Ciocarlie; Ashish Gehani; Vinod Yegneswaran; Dongyan Xu; Somesh Jha (USENIX ATC, 2018)

A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks. - Jian Li 008; Don Towsley; Shaofeng Zou; Venugopal V. Veeravalli; Gabriela F. Ciocarlie (ACSSC, 2019)

Application of Trust Assessment Techniques to IoBT Systems. - Ioannis Agadakos; Gabriela F. Ciocarlie; Bogdan Copos; Michael Emmi; Jemin George; Nandi Leslie; James Michaelis (MILCOM, 2019)

Scratch that! An Evolution-based Adversarial Attack against Neural Networks. - Malhar Jere; Briland Hitaj; Gabriela F. Ciocarlie; Farinaz Koushanfar (CoRR, 2019)

Formal Specification and Verification of Solidity Contracts with Events (Short Paper). - Ákos Hajdu; Dejan Jovanovic; Gabriela F. Ciocarlie (FMBC@CAV, 2020)

On Uncertainty and Robustness in Large-Scale Intelligent Data Fusion Systems. - Benjamin M. Marlin; Tarek F. Abdelzaher; Gabriela F. Ciocarlie; Adam D. Cobb; Mark Dennison; Brian Jalaian; Lance M. Kaplan; Tiffany Raber; Adrienne Raglin; Piyush K. Sharma; Mani B. Srivastava; Theron Trout; et al. (CogMI, 2020)

ct-fuzz: Fuzzing for Timing Leaks. - Shaobo He; Michael Emmi; Gabriela F. Ciocarlie (ICST, 2020)

IoTHound: environment-agnostic device identification and monitoring. - Prashant Anantharaman; Liwei Song; Ioannis Agadakos; Gabriela F. Ciocarlie; Bogdan Copos; Ulf Lindqvist; Michael E. Locasto (IOT, 2020)

Behavioral simulation for smart contracts. - Sidi Mohamed Beillahi; Gabriela F. Ciocarlie; Michael Emmi; Constantin Enea (PLDI, 2020)

Formal Specification and Verification of Solidity Contracts with Events. - Ákos Hajdu; Dejan Jovanovic; Gabriela F. Ciocarlie (CoRR, 2020)

ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. - Le Yu; Shiqing Ma; Zhuo Zhang 002; Guanhong Tao 001; Xiangyu Zhang 001; Dongyan Xu; Vincent E. Urias; Han Wei Lin; Gabriela F. Ciocarlie; Vinod Yegneswaran; Ashish Gehani (NDSS, 2021)

A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation. - Matthew Jablonski; Bo Yu 020; Gabriela Felicia Ciocarlie; Paulo C. G. Costa (Computer, 2021)

TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection. - Hassaan Irshad; Gabriela F. Ciocarlie; Ashish Gehani; Vinod Yegneswaran; Kyu Hyung Lee; Jignesh M. Patel; Somesh Jha; Yonghwi Kwon 001; Dongyan Xu; Xiangyu Zhang 001 (IEEE Trans. Inf. Forensics Secur., 2021)

Model-Based Security Analysis in Additive Manufacturing Systems. - Michael R. Durling; Abha Moitra; Kit Y. Siu; Baoluo Meng; John W. Carbone; Christopher C. Alexander; Krystel K. Castillo-Villar; Gabriela F. Ciocarlie (AMSec@CCS, 2022)

Everything is Connected: Security and Reliability for Critical Infrastructure. - Gabriela Felicia Ciocarlie (WISEC, 2022)

Wireless and Mobile Security Research and Teaching in the Post-Pandemic World. - Anindya Maiti; Ahmad-Reza Sadeghi; Gabriela Felicia Ciocarlie; Patrick Tague (WISEC, 2022)

PURE Biomanufacturing: Secure, Pandemic-Adaptive Biomanufacturing. - Howard D. Grimes; Gabriela F. Ciocarlie; Bo Yu 020; Duminda Wijesekera; Gregory E. Shannon; Wayne Austad; Charles Fracchia; Dongyan Xu; Thomas R. Kurfess; Lisa Strama; Michael Mylrea; Bill Reid (IEEE Secur. Priv., 2022)

Digital Twin of Cyber-Physical CNC for Smart Manufacturing. - Bethanie Williams; Gabriela F. Ciocarlie; Kyle Saleeby; Muhammad Ismail; Clifton J. Mulkey (DTPI, 2023)

Delay Tolerant Networks for Industry 4.0. - Jose Garcia; Mevlut A. Demir; Gabriela F. Ciocarlie; John J. Prevost (SoSE, 2023)

Securing Critical Infrastructure Across Cyber and Physical Dimensions. - Gabriela F. Ciocarlie; Jianying Zhou 001 (IEEE Secur. Priv., 2023)

Adversarial scratches: Deployable attacks to CNN classifiers. - Loris Giulivi; Malhar Jere; Loris Rossi; Farinaz Koushanfar; Gabriela F. Ciocarlie; Briland Hitaj; Giacomo Boracchi (Pattern Recognit., 2023)

autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. - Mohannad Alhanahnah; Shiqing Ma; Ashish Gehani; Gabriela F. Ciocarlie; Vinod Yegneswaran; Somesh Jha; Xiangyu Zhang 001 (IEEE Trans. Software Eng., 2023)

ACM CCS 2024 Doctoral Symposium. - Gabriela F. Ciocarlie; Xinming Ou (CCS, 2024)

An End-to-End Framework for Verifying and Validating Manufacturing Design Integrity. - Matthew Jablonski; Kyle Everett; Gabriela F. Ciocarlie; Zoran Duric; Chris Hathhorn; Jeffrey C. Kimmell; Vladimir Orlyanchik; John Prevost; Gordon Robertson; Curtis Taylor; Duminda Wijesekera; Kyle Saleeby (Critical Infrastructure Protection, 2024)

Securing Smart Manufacturing: Detection of Cyber-Physical Attacks in CNC-Based Systems. - Bethanie Williams; Rima Asmar Awad; Clifton J. Mulkey; Gabriela F. Ciocarlie; Muhammad Ismail; Kyle Saleeby (HOST, 2025)

AVOID: Automated Void Detection in STL Files. - Sarah Roscoe; Logan Hellbusch; Chamath Gunawardena; Jitender S. Deogun; Witawas Srisa-an; Yi Qian 001; Gabriela F. Ciocarlie (IEEE Trans. Dependable Secur. Comput., 2025)