Gabriela F. Ciocarlie

39 papers A* 4A 1B 6C 1Misc 1Journal 10Unranked 16

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