Clark Barrett

2 books • 2 series

Jan 17, 2024
Cover of Identifying and Mitigating the Security Risks of Generative AI

Identifying and Mitigating the Security Risks of Generative AI (Foundations and Trends® in Privacy and Security)

Feb 11, 2021
Cover of Algorithms for Verifying Deep Neural Networks

Algorithms for Verifying Deep Neural Networks (Foundations and Trends (R) in Optimization)