Gabriela F. Ciocarlie

According to our database, Gabriela F. Ciocarlie authored at least 44 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

IEEE Trans. Software Eng., April, 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

Securing Critical Infrastructure Across Cyber and Physical Dimensions.

Gabriela F. Ciocarlie, Jianying Zhou

IEEE Secur. Priv., 2023

Delay Tolerant Networks for Industry 4.0.

Jose Garcia, Mevlut A. Demir, Gabriela F. Ciocarlie, John J. Prevost

Proceedings of the 18th Annual System of Systems Engineering Conference, 2023

Digital Twin of Cyber-Physical CNC for Smart Manufacturing.

Bethanie Williams, Gabriela F. Ciocarlie, Kyle Saleeby, Muhammad Ismail, Clifton J. Mulkey

Proceedings of the IEEE 3rd International Conference on Digital Twins and Parallel Intelligence, 2023

2022

PURE Biomanufacturing: Secure, Pandemic-Adaptive Biomanufacturing.

Howard D. Grimes, Gabriela F. Ciocarlie, Bo Yu, Duminda Wijesekera, Gregory E. Shannon, Wayne Austad, Charles Fracchia, Dongyan Xu, Thomas R. Kurfess, Lisa Strama, Michael Mylrea, Bill Reid

IEEE Secur. Priv., 2022

Wireless and Mobile Security Research and Teaching in the Post-Pandemic World.

Anindya Maiti, Ahmad-Reza Sadeghi, Gabriela Felicia Ciocarlie, Patrick Tague

Proceedings of the WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, San Antonio, TX, USA, May 16, 2022

Everything is Connected: Security and Reliability for Critical Infrastructure.

Gabriela Felicia Ciocarlie

Proceedings of the WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, San Antonio, TX, USA, May 16, 2022

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

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022

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, Dongyan Xu, Xiangyu Zhang

IEEE Trans. Inf. Forensics Secur., 2021

A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation.

Matthew Jablonski, Bo Yu, Gabriela Felicia Ciocarlie, Paulo C. G. Costa

Computer, 2021

ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation.

Le Yu, Shiqing Ma, Zhuo Zhang, Guanhong Tao, Xiangyu Zhang, Dongyan Xu, Vincent E. Urias, Han Wei Lin, Gabriela F. Ciocarlie, Vinod Yegneswaran, Ashish Gehani

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Formal Specification and Verification of Solidity Contracts with Events.

Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie

CoRR, 2020

Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

IoTHound: environment-agnostic device identification and monitoring.

Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Ulf Lindqvist, Michael E. Locasto

Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

ct-fuzz: Fuzzing for Timing Leaks.

Shaobo He, Michael Emmi, Gabriela F. Ciocarlie

Proceedings of the 13th IEEE International Conference on Software Testing, 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, Meet P. Vadera, Maggie B. Wigness

Proceedings of the 2nd IEEE International Conference on Cognitive Machine Intelligence, 2020

Formal Specification and Verification of Solidity Contracts with Events (Short Paper).

Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

Scratch that! An Evolution-based Adversarial Attack against Neural Networks.

Malhar Jere, Briland Hitaj, Gabriela F. Ciocarlie, Farinaz Koushanfar

CoRR, 2019

Application of Trust Assessment Techniques to IoBT Systems.

Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis

Proceedings of the 2019 IEEE Military Communications Conference, 2019

A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks.

Jian Li, Don Towsley, Shaofeng Zou, Venugopal V. Veeravalli, Gabriela F. Ciocarlie

Proceedings of the 53rd Asilomar Conference on Signals, Systems, and Computers, 2019

2018

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking.

Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation.

Yonghwi Kwon, Fei Wang, Weihang Wang, Kyu Hyung Lee, Wen-Chuan Lee, Shiqing Ma, Xiangyu Zhang, Dongyan Xu, Somesh Jha, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

BlockCIS - A Blockchain-Based Cyber Insurance System.

Tancrède Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

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

Proceedings of the 21st International Conference on Information Fusion, 2018

2017

Building Hardened Internet-of-Things Clients with Language-Theoretic Security.

Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

Low-Leakage Secure Search for Boolean Expressions.

Fernando Krell, Gabriela F. Ciocarlie, Ashish Gehani, Mariana Raykova

Proceedings of the Topics in Cryptology - CT-RSA 2017, 2017

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

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

2016

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

Proceedings of the 12th International Conference on Network and Service Management, 2016

2015

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

Proceedings of the Mobile Networks and Management - 7th International Conference, 2015

2014

DCAD: Dynamic Cell Anomaly Detection for operational cellular networks.

Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Nováczki, Henning Sanneck

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 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

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 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

Proceedings of the Mobile Networks and Management - 6th International Conference, 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

Proceedings of the 11th International Symposium on Wireless Communications Systems, 2014

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

Proceedings of the 11th International Symposium on Wireless Communications Systems, 2014

2013

Detecting anomalies in cellular networks using an ensemble method.

Gabriela F. Ciocarlie, Ulf Lindqvist, Szabolcs Nováczki, Henning Sanneck

Proceedings of the 9th International Conference on Network and Service Management, 2013

2009

Adaptive Anomaly Detection via Self-calibration and Dynamic Updating.

Gabriela F. Cretu-Ciocarlie, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo

Proceedings of the Recent Advances in Intrusion Detection, 12th International Symposium, 2009

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

Proceedings of the 2nd ACM Workshop on Security and Artificial Intelligence, 2009

2008

Casting out Demons: Sanitizing Training Data for Anomaly Sensors.

Gabriela F. Cretu, Angelos Stavrou, Michael E. Locasto, Salvatore J. Stolfo, Angelos D. Keromytis

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Hunting for Problems with Artemis.

Gabriela F. Cretu-Ciocarlie, Mihai Budiu, Moisés Goldszmidt

Proceedings of the First USENIX Workshop on the Analysis of System Logs, 2008

Return Value Predictability Profiles for Self-healing.

Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis, Salvatore J. Stolfo

Proceedings of the Advances in Information and Computer Security, 2008

2007

From STEM to SEAD: Speculative Execution for Automated Defense.

Michael E. Locasto, Angelos Stavrou, Gabriela F. Cretu, Angelos D. Keromytis

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

2006

Intrusion and anomaly detection model exchange for mobile ad-hoc networks.

Gabriela F. Cretu, Janak J. Parekh, Ke Wang, Salvatore J. Stolfo

Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

2005

Anomalous Payload-Based Worm Detection and Signature Generation.

Ke Wang, Gabriela F. Cretu, Salvatore J. Stolfo

Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005