Gabriela F. Ciocarlie

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 29

Top Topics

Sharing Knowledge

Cellular Networks

Formal Specification

Anomaly Detection

Top Venues

Publications

Bethanie Williams, Gabriela F. Ciocarlie, Kyle Saleeby, Muhammad Ismail, Clifton J. Mulkey
Digital Twin of Cyber-Physical CNC for Smart Manufacturing. DTPI (2023)
Gabriela F. Ciocarlie, Jianying Zhou
Securing Critical Infrastructure Across Cyber and Physical Dimensions. IEEE Secur. Priv. 21 (4) (2023)
Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang
autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. IEEE Trans. Software Eng. 49 (4) (2023)
Loris Giulivi, Malhar Jere, Loris Rossi, Farinaz Koushanfar, Gabriela F. Ciocarlie, Briland Hitaj, Giacomo Boracchi
Adversarial scratches: Deployable attacks to CNN classifiers. Pattern Recognit. 133 (2023)
Jose Garcia, Mevlut A. Demir, Gabriela F. Ciocarlie, John J. Prevost
Delay Tolerant Networks for Industry 4.0. SoSE (2023)
Loris Giulivi, Malhar Jere, Loris Rossi, Farinaz Koushanfar, Gabriela F. Ciocarlie, Briland Hitaj, Giacomo Boracchi
Adversarial Scratches: Deployable Attacks to CNN Classifiers. CoRR (2022)
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie
Model-Based Security Analysis in Additive Manufacturing Systems. AMSec@CCS (2022)
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
PURE Biomanufacturing: Secure, Pandemic-Adaptive Biomanufacturing. IEEE Secur. Priv. 20 (6) (2022)
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
ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. NDSS (2021)
Hassaan Irshad, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Kyu Hyung Lee, Jignesh M. Patel, Somesh Jha, Yonghwi Kwon, Dongyan Xu, Xiangyu Zhang
TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events. CoRR (2020)
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
On Uncertainty and Robustness in Large-Scale Intelligent Data Fusion Systems. CogMI (2020)
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
Behavioral simulation for smart contracts. PLDI (2020)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV (2020)
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
ct-fuzz: Fuzzing for Timing Leaks. ICST (2020)
Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Ulf Lindqvist, Michael E. Locasto
IoTHound: environment-agnostic device identification and monitoring. IOT (2020)
Malhar Jere, Briland Hitaj, Gabriela F. Ciocarlie, Farinaz Koushanfar
Scratch that! An Evolution-based Adversarial Attack against Neural Networks. CoRR (2019)
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
ct-fuzz: Fuzzing for Timing Leaks. CoRR (2019)
Jian Li, Don Towsley, Shaofeng Zou, Venugopal V. Veeravalli, Gabriela F. Ciocarlie
A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks. ACSSC (2019)
Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis
Application of Trust Assessment Techniques to IoBT Systems. MILCOM (2019)
Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha
Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. USENIX Annual Technical Conference (2018)
Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancrède Lepoint, Ulf Lindqvist, Michael E. Locasto, James R. 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 F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran
MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. NDSS (2018)
Tancrède Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy
BlockCIS - A Blockchain-Based Cyber Insurance System. IC2E (2018)
Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things. CPS-SPC@CCS (2017)
Fernando Krell, Gabriela F. Ciocarlie, Ashish Gehani, Mariana Raykova
Low-Leakage Secure Search for Boolean Expressions. CT-RSA (2017)
Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
Building Hardened Internet-of-Things Clients with Language-Theoretic Security. IEEE Symposium on Security and Privacy Workshops (2017)
Gabriela F. Ciocarlie, Cherita Corbett, Eric Yeh, Christopher Connolly, Henning Sanneck, Muhammad Naseer ul Islam, Borislava Gajic, Szabolcs Nováczki, Kimmo Hätönen
Diagnosis cloud: Sharing knowledge across cellular networks. CNSM (2016)
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
Alarm Prioritization and Diagnosis for Cellular Networks. MONAMI (2015)
Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Nováczki, Henning Sanneck
On the feasibility of deploying cell anomaly detection in operational cellular networks. NOMS (2014)
Gabriela F. Ciocarlie, Christopher Connolly, Chih-Chieh Cheng, Ulf Lindqvist, Szabolcs Nováczki, Henning Sanneck, Muhammad Naseer ul Islam
Anomaly Detection and Diagnosis for Automatic Radio Network Verification. MONAMI (2014)
Gabriela F. Ciocarlie, Chih-Chieh Cheng, Christopher Connolly, Ulf Lindqvist, Kenneth Nitz, Szabolcs Nováczki, Henning Sanneck, Muhammad Naseer ul Islam
Demo: SONVer: SON verification for operational cellular networks. ISWCS (2014)
Gabriela F. Ciocarlie, Chih-Chieh Cheng, Christopher Connolly, Ulf Lindqvist, Szabolcs Nováczki, Henning Sanneck, Muhammad Naseer ul Islam
Managing scope changes for cellular network-level anomaly detection. ISWCS (2014)
Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Nováczki, Henning Sanneck
DCAD: Dynamic Cell Anomaly Detection for operational cellular networks. NOMS (2014)
Gabriela F. Ciocarlie, Ulf Lindqvist, Szabolcs Nováczki, Henning Sanneck
Detecting anomalies in cellular networks using an ensemble method. CNSM (2013)