Skip to search boxSkip to navigationSkip to main content

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

Activity Information

Activity type

Lecture and oral contribution

Time period

16/11/2021

Degree of recognition

International

Description

Federal Office for Information Security, Bonn, Germany
(Bundesamt für Sicherheit in der Informationstechnik, abbreviated as BSI).