G. Ciocarlie

Program Binary Typical workloads Input Spec . Causality Inference Engine Model Constructor Causal Models Segmented Parser Context Constraint Checker Audit Logs Causality Annotated Model Generation Model Parsing Recognized Causality Recognized Models

X. Zhang, V. Yegneswaran, Fei Wang, 2017 .

TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection

Somesh Jha, Vinod Yegneswaran, Hassaan Irshad, 2021, IEEE Transactions on Information Forensics and Security.

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

Vinod Yegneswaran, Xiangyu Zhang, Dongyan Xu, 2021, NDSS.

Adversarial Scratches: Deployable Attacks to CNN Classifiers

F. Koushanfar, G. Boracchi, B. Hitaj, 2022, Pattern Recognit..

Security for Resilient IoBT Systems: Emerging Research Directions

James Michaelis, Jemin George, Ioannis Agadakos, 2019, IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

On Uncertainty and Robustness in Large-Scale Intelligent Data Fusion Systems

Mani Srivastava, Lance Kaplan, Lance M. Kaplan, 2020, 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI).

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

Matthew Jablonski, Bo Yu, Gabriela Felicia Ciocarlie, 2021, Computer.

Formal Specification and Verification of Solidity Contracts with Events pdf

Ákos Hajdu, Gabriela F. Cretu-Ciocarlie, Dejan Jovanovic, 2022 .

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

F. Koushanfar, B. Hitaj, Malhar Jere, 2019 .

Communication Pattern Monitoring: Improving the Utility of Anomaly Detection for Industrial Control Systems

Man-Ki Yoon, Gabriela Ciocarlie, Man-Ki Yoon, 2014 .

Securing Smart Cities

Prashant Anantharaman, Tancrède Lepoint, Liwei Song, 2020, Modeling and Design of Secure Internet of Things.