Gabriela Ciocarlie's research interests are in anomaly detection and distributed alert correlation, network and application level security and distributed system security, with a focus on critical infrastructure. She holds Ph.D. and M.S. degrees in Computer Science from Columbia University and a B.S. in Computer Engineering from the Polytechnic University of Bucharest.

Papers

• Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Bogdan Copos, Gabriela Ciocarlie, Ulf Lindqvist and Michael Locasto, IoTHound: Environment-agnostic Device Identification and Monitoring, IoT, 2020.

• �kos Hajdu, Dejan Jovanović and Gabriela Ciocarlie, Formal Specification and Verification of Solidity Contracts with Events (short paper), FMBC, 2020.

• Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, Constantin Enea, Behavioral Simulation for Smart Contracts, PLDI, 2020.

• Shaobo He, Michael Emmi and Gabriela Ciocarlie, ct-fuzz: Fuzzing for Timing Leaks, ICST, Testing Tools, 2020. [PDF]

• Malhar Jere, Briland Hitaj, Gabriela Ciocarlie, and Farinaz Koushanfar, Scratch that! An Evolution-based Adversarial Attack against Neural Networks, arXiv , 2019. [PDF]

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

• Jian Li, Don Towsley, Shaofeng Zou, Venugopal V. Veeravalli, and Gabriela Ciocarlie, A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks, Asilomar Conference on Signals, Systems and Computers, 2019.

• Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Jemin George, Nandi Leslie, James Michaelis, Security for Resilient IoBT Systems: Emerging Research Directions, INFOCOM Workshop on Internet of Things for Adversarial Environments , 2019.

• Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, and Somesh Jha, Kernel-Supported Cost-Effective Audit Logging for Causality Tracking, 29th USENIX Annual Technical Conference (ATC), 2018.

• Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancr�de Lepoint, Ulf Lindqvist, Michael Locasto, and James Michaelis, Risks and Benefits of Side-Channels in Battlefields, Fusion, 2018.

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

• Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancr�de Lepoint, Ulf Lindqvist, and Michael Locasto, Butterfly Effect: Causality from Chaos in the IoT, IoTSec, 2018.

• Gabriela Ciocarlie, Karim Eldefrawy, and Tancr�de Lepoint, BlockCIS---A Blockchain-based Cyber Insurance System, First IEEE Workshop on Blockchain Technologies and Applications, 2018.

• Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancr�de Lepoint, Michael Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist, Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things , CCS Workshop on Cyber-Physical Systems Security and Privacy (CCS-SPC), 2017.

• Prashant Anantharaman, Michael Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist, Building Hardened Internet-of-Things Clients with Language-theoretic Security , IEEE S&P Workshop on Language-Theoretic Security (LangSec) , 2017.

• Fernando Krell, Gabriela Ciocarlie, Ashish Gehani, and Mariana Raykova Low-Leakage Secure Search for Boolean Expressions, Cryptographer's Track, RSA Conference, 2017.

• Gabriela F. Ciocarlie, Cherita Corbett, Eric Yeh, Christopher Connolly, Henning Sanneck, Muhammad Naseer-Ul-Islam, Borislava Gajic, Szabolcs Novaczki, and Kimmo Hatonen Diagnosis Cloud: Sharing Knowledge Across Cellular Networks, International Conference on Network and Service Management (CNSM), October 2016.

• Gabriela F. Ciocarlie, Eric Yeh, Christopher Connolly, Cherita Corbett, Ulf Lindqvist, Henning Sanneck, Kimmo Hatonen, Szabolcs Novaczki, Muhammad Naseer-Ul-Islam, and Borislava Gajic, Alarm Prioritization and Diagnosis for Cellular Networks, 7th International Conference on Mobile Networks and Management (MONAMI), September 2015 (Best Paper Award).

• Gabriela F. Ciocarlie, Christopher Connolly, Chih-Chieh Cheng, Ulf Lindqvist, Szabolcs Novaczi, Henning Sanneck and Muhammad Naseer-ul-Islam, Anomaly Detection and Diagnosis for Automatic Radio Network Verification, 6th International Conference on Mobile Networks and Management (MONAMI),�September 2014.

• Gabriela F. Ciocarlie, Chih-Chieh Cheng, Christopher Connolly, Ulf Lindqvist, Kenneth Nitz, Szabolcs Novaczi, Henning Sanneck and Muhammad Naseer-ul-Islam, SONVer: SON Verification for Operational Cellular Networks, International Workshop on Self-Organized Networks (IWSON), Demo Paper, 2014.

• Gabriela F. Ciocarlie, Chih-Chieh Cheng, Christopher Connolly, Ulf Lindqvist, Szabolcs Novaczi, Henning Sanneck and Muhammad Naseer-ul-Islam, Managing Scope Changes for Cellular Network-level Anomaly Detection, International Workshop on Self-Organized Networks (IWSON), 2014.

• Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Novaczki and Henning Sanneck, On the Feasibility of Deploying Cell Anomaly Detection in Operational Cellular Networks , IEEE/IFIP Network Operations and Management Symposium (NOMS), Experience Session, 2014.

• Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Novaczki and Henning Sanneck, DCAD: Dynamic Cell Anomaly Detection for Operational Cellular Networks , IEEE/IFIP Network Operations and Management Symposium (NOMS), Demo Paper, 2014.

• Man-Ki Yoon and Gabriela F. Ciocarlie, Communication Pattern Monitoring: Improving the Utility of Anomaly Detection for Industrial Control Systems, NDSS Workshop on Security of Emerging Networking Technologies (SENT), 2014.

• Gabriela F. Ciocarlie, Ulf Lindqvist, Szabolcs Novaczki, and Henning Sanneck, Detecting Anomalies in Cellular Networks Using an Ensemble Method, 9th International Conference on Network and Service Management (CNSM), 2013. [PDF]

• Ashish Gehani, Gabriela Ciocarlie, and Natarajan Shankar, Accountable Clouds, 13th IEEE Conference on Technologies for Homeland Security (HST), 2013. [PDF]

• Ashish Gehani and Gabriela Ciocarlie, Composing Cross-Domain Solutions, 2nd Layered Assurance Workshop (LAW) affiliated with the 28th Annual Computer Security Applications Conference (ACSAC), 2012. [PDF]

• Gabriela F. Ciocarlie, Heidi Schubert and Rose Wahlin, A Data Centric Approach for Modular Assurance, 4th Annual Layered Assurance Workshop (LAW), 2010.[PDF]

• Gabriela F. Cretu-Ciocarlie, Karthik Marudhachalam Ramasamy and Salvatore J. Stolfo, Error-Response Feedback for Anomaly Detection Systems, 25th Annual Computer Security Applications Conference (ACSAC), Work in Progress Session, 2009.

• Angelos Stavrou, Gabriela F. Cretu-Ciocarlie, Michael E. Locasto and Salvatore J. Stolfo, Keep Your Friends Close: The Necessity for Updating an Anomaly Sensor with Legitimate Environment Changes, ACM/CCS AISec Workshop, 2009. [PDF]

• Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto and Salvatore J. Stolfo, Adaptive Anomaly Detection via Self-Calibration and Dynamic Updating, 12th International Symposium On Recent Advances In Intrusion Detection (RAID), 2009.

• Gabriela F. Cretu-Ciocarlie, Mihai Budiu, and Moises Goldszmidt, Hunting for problems with Artemis, 1st USENIX Workshop on the Analysis of System Logs (WASL), 2008.

• Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis, and Salvatore J. Stolfo, Return Value Predictability for Self-Healing, 3rd International Workshop on Security (IWSEC), 2008.

• Gabriela F. Cretu, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo, and Angelos D. Keromytis, Casting out Demons: Sanitizing Training Data for Anomaly Sensors, IEEE Symposium on Security & Privacy, 2008.

• Gabriela F. Cretu, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo, Extended Abstract: Online Training and Sanitization of AD Systems, NIPS 2007 Workshop on Machine Learning in Adversarial Environments for Computer Security, 2007.

• Gabriela F. Cretu, Angelos Stavrou, Salvatore J. Stolfo, Angelos D. Keromytis, Data Sanitization: Improving the Forensic Utility of Anomaly Detection Systems, Third Workshop on Hot Topics in System Dependability, 2007.

• Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, and Angelos D. Keromytis, From STEM to SEAD: Speculative Execution for Automated Defense, USENIX Annual Technical Conference, 2007.

• Gabriela F. Cretu, Janak J. Parekh, Ke Wang, Salvatore J. Stolfo, Intrusion and Anomaly Detection Model Exchange for Mobile Ad-Hoc Networks, IEEE Consumer Communications and Networking Conference, 2006.

• Ke Wang, Gabriela Cretu, Salvatore J. Stolfo, Anomalous Payload-based Worm Detection and Signature Generation, International Conference on Recent Advances in Intrusion Detection, 2005.

Thesis

• Gabriela Ciocarlie, Towards Self-Adaptive Anomaly Detection Sensors, PhD Thesis, 2010. [PDF]

Technical Reports

• Galen Rasche, Gabriela Ciocarlie, Zachary Tudor, Guidelines for Planning an Integrated Security Operations Center, Tech Update 3002000374, Electrical Power Research Institute (EPRI), 2013. [LINK]

• Michael E. Locasto, Gabriela F. Cretu, Shlomo Hershkop and Angelos Stavrou, Post-Patch Retraining for Host-Based Anomaly Detection, Tech Report CUCS-035-07, Department of Computer Science, Columbia University, 2007.

• Ted Habeck, Larry Koved, Orlando Marquez, Vugranam C. Sreedhar, Michael Steiner, Wietse Venema, Samuel Weber, Gabriela F. Cretu and Krishnaprasad Vikram, Experiences With Building Security Checking and Understanding Tool, Technical Paper RC24243, IBM Research, 2007.

• Michael E. Locasto, Gabriela F. Cretu, Angelos Stavrou, and Angelos D. Keromytis, A Model for Automatically Repairing Execution Integrity, Tech Report CUCS-005-07, Department of Computer Science, Columbia University, 2007.

• Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis and Salvatore J. Stolfo, Quantifying Application Behavior Space for Detection and Self-Healing, Tech Report CUCS-017-06, Department of Computer Science, Columbia University, 2006.

Poster Presentations

• Gabriela Ciocarlie and Ulf Lindqvist, A General Self-Adaptive Cyber Security Framework, Moving Target Research Symposium, 2012.

• Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto and Salvatore J. Stolfo, Casting Out Demons: Sanitizing Training Data for Anomaly Sensors, NYU Cyber Security Awareness Week, 2007.

Panels/Invited Talks

• What are the opportunities and threats in adopting Blockchain for the Finance Industry?, AI & Blockchain Fintech Confex, 2018. [panel]

• Methodological Issues with IoT Experimentation, LASER, 2017. [panel]

• Malicious Cyber Discovery, Computational Cybersecurity in Compromised Environments (C3E), 2014. [panel]

• Future of Resilience, Annual Computer Security Applications Conference (ACSAC), 2013. [panel]

• Towards Modernizing the Electrical Grid, Systems and Software Technology Conference, 2011. [talk]

• DDS for the Grid, Smart Grid Vendor Forum, 2010. [talk]

• NASPInet Use Cases, North American SynchroPhasor Initiative Meeting, Data and Network Management Task Team, 2010. [talk]

• Online Self-update for Anomaly Detection Models, Security and Privacy Day @ IBM Research, 2008. [talk]

Patents and Patent Applications

• Michael E. Locasto, Angelos D. Keromytis, Angelos Stavrou, and Gabriela F. Ciocarlie, Systems, methods, and media for recovering an application from a fault or attack, U.S. Patent Number 8,924,782, Granted December 30, 2014.

• Gabriela Cretu, Angelos Stavrou, Salvatore J. Stolfo, Angelos D. Keromytis, and Michael E. Locasto, Systems, Methods, and Media for Generating Sanitized Data, Sanitizing Anomaly Detection Models, and/or Generating Sanitized Anomaly Detection Models, US patent 8,407,160, Granted March 26 2013, US patent 9,088,596, Granted 21 July, 2015, US patent 10,178,113, Granted 28 January, 2019.

• Michael E. Locasto, Angelos D. Keromytis, Salvatore J. Stolfo, Angelos Stavrou, Gabriela Cretu, Stelios Sidiroglou, Jason Nieh, and Oren Laadan, Methods, Systems and Media for Software Self-healing, US patent 7,962,798, Granted 14 June 2011.

• Vugranam C. Sreedhar, Gabriela F. Cretu, and Julian T. Dolby, Method and Apparatus for Detecting Vulnerabilities and Bugs in Software Applications, US patent application #20080184208

• Salvatore J. Stolfo, Gabriela F. Ciocarlie, Vanessa Frias-Martinez, Janak Parekh, and Angelos Keromytis, Methods, media, and systems for securing communications between a first node and a second node, US patent #9,419,981, Granted 16 August, 2016

• Henning Sanneck, Szabolcs Novaczki, Gabriela Ciocarlie, and Ulf Lindqvist, Method And Network Device For Cell Anomaly Detection, US patent application #20160088502