Gabriela F. Ciocarlie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
12
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | ACM CCS 2024 Doctoral Symposium. | Gabriela F. Ciocarlie, Xinming Ou |
| 2022 | CCS | 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 |
| 2021 | NDSS | 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 |
| 2020 | CAV | Formal Specification and Verification of Solidity Contracts with Events (Short Paper). | kos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie |
| 2020 | ICST | ct-fuzz: Fuzzing for Timing Leaks. | Shaobo He, Michael Emmi, Gabriela F. Ciocarlie |
| 2020 | PLDI | Behavioral simulation for smart contracts. | Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
| 2019 | ACSSC | 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 |
| 2018 | FUSION | Risks and Benefits of Side-Channels in Battlefields. | Ioannis Agadakos, Gabriela F. Ciocarlie, Bogdan Copos, Tancrde Lepoint, Ulf Lindqvist, Michael E. Locasto, James R. Michaelis |
| 2018 | IC2E | BlockCIS - A Blockchain-Based Cyber Insurance System. | Tancrde Lepoint, Gabriela F. Ciocarlie, Karim Eldefrawy |
| 2018 | NDSS | 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 |
| 2018 | USENIX | 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 |
| 2017 | CCS | 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, Tancrde Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist |
| 2017 | SP | Building Hardened Internet-of-Things Clients with Language-Theoretic Security. | Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist |
| 2016 | CNSM | 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 Novczki, Kimmo Htnen |
| 2014 | NOMS | On the feasibility of deploying cell anomaly detection in operational cellular networks. | Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Novczki, Henning Sanneck |
| 2014 | NOMS | DCAD: Dynamic Cell Anomaly Detection for operational cellular networks. | Gabriela F. Ciocarlie, Ulf Lindqvist, Kenneth Nitz, Szabolcs Novczki, Henning Sanneck |
| 2013 | CNSM | Detecting anomalies in cellular networks using an ensemble method. | Gabriela F. Ciocarlie, Ulf Lindqvist, Szabolcs Novczki, Henning Sanneck |