Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Towards AI Security: Formal Verification of Robust Mean Estimation at Federal Office for Information Security, Bonn, Germany
Ieva Daukantas (Speaker)
Activity
:
Talk or presentation types
›
Lecture and oral contribution
Description
Federal Office for Information Security, Bonn, Germany
(Bundesamt für Sicherheit in der Informationstechnik, abbreviated as BSI).
Period
16 Nov 2021
Held at
Federal Office for Information Security (BSI), Bonn, Germany
, Germany
Degree of Recognition
International
Keywords
Formal verification, AI security