Towards AI Security: Formal Verification of Robust Mean Estimation at Federal Office for Information Security, Bonn, Germany

Activity: Talk or presentation typesLecture and oral contribution

Description

Federal Office for Information Security, Bonn, Germany
(Bundesamt für Sicherheit in der Informationstechnik, abbreviated as BSI).
Period16 Nov 2021
Held atFederal Office for Information Security (BSI), Bonn, Germany, Germany
Degree of RecognitionInternational

Keywords

  • Formal verification, AI security