Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Towards AI Security: Formal Verification of Robust Mean Estimation at Federal Office for Information Security, Bonn, Germany
Daukantas, I.
(Speaker)
Computer Science
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