Attacking AI: A Primer

By Achim D. Brucker.

Achim Brucker is a full Professor Cyber Security and Trustworthy Systems at the University of Exeter, UK. He is an expert in secure software engineering, cybersecurity, and formal methods. Previously, he was a Research Expert (Architect), Security Testing Strategist, and Project Lead in the Global Security Team of SAP SE, where he defined the risk-based security testing strategy of SAP. He was involved in rolling out static and dynamic application security testing tools to the world-wide development organization of SAP.

His research interests include information security, software engineering, security engineering, and formal methods. In particular, he is interested in tools and methods for modeling, building and validating secure and reliable systems, i.e., software assurance or, more broadly, system assurance. He currently focuses on the development of methods and tools for the verification of AI/ML-based systems and the verification and certification of cyber-physical systems.

Please cite this work as follows:
A. D. Brucker, “Attacking AI: A primer,” presented at the BSides exeter, Exeter, UK, Jul. 27, 2024. Author copy: https://logicalhacking.com/publications/talk-brucker-attacking-ai-2024/

BibTeX
@Unpublished{ talk:brucker:attacking-ai:2024,
  author     = {Achim D. Brucker},
  date       = {2024-07-27},
  title      = {Attacking AI: A Primer},
  eventtitle = {BSides Exeter},
  language   = {english},
  areas      = {security},
  venue      = {Exeter, UK},
  abstract   = {Achim Brucker is a full Professor Cyber Security and
                Trustworthy Systems at the University of Exeter, UK. He is an
                expert in secure software engineering, cybersecurity, and
                formal methods. Previously, he was a Research Expert
                (Architect), Security Testing Strategist, and Project Lead in
                the Global Security Team of SAP SE, where he defined the
                risk-based security testing strategy of SAP. He was involved
                in rolling out static and dynamic application security testing
                tools to the world-wide development organization of SAP.
                
                His research interests include information security, software
                engineering, security engineering, and formal methods. In
                particular, he is interested in tools and methods for
                modeling, building and validating secure and reliable systems,
                i.e., software assurance or, more broadly, system assurance.
                He currently focuses on the development of methods and tools
                for the verification of AI/ML-based systems and the
                verification and certification of cyber-physical systems.},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-attacking-ai-2024/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-attacking-ai-2024/talk-brucker-attacking-ai-2024.pdf},
}