Gabriela F. Ciocarlie is a Researcher at SRI International, focusing on advancing cybersecurity, IoT security, and formal verification techniques. Her work bridges theoretical computer science with practical applications in critical infrastructure protection and manufacturing systems. She has contributed to over 48 publications across conferences like CCS, NDSS, and IEEE venues. Her research interests span adversarial machine learning, secure manufacturing automation, and resilient biomanufacturing systems. Notable projects include developing frameworks for verifying manufacturing design integrity and creating end-to-end security solutions for cyber-physical systems. She has also pioneered work on deployable adversarial attacks against neural networks and automated attack investigation tools like autoMPI. Key collaborations include partnerships with institutions like Columbia University (former affiliation) and industry leaders. Her work often addresses real-world challenges such as pandemic-resilient biomanufacturing and securing critical infrastructure through cyber-physical integration.








