
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: http://logicalhacking.com/publications/talk-brucker-attacking-ai-2024/
@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{http://logicalhacking.com/publications/talk-brucker-attacking-ai-2024/}},
}