ITU

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

Ieva Daukantas - Speaker

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

External organisation

NameFederal Office for Information Security (BSI), Bonn, Germany
LocationGodesberger Allee 185-189
CityBonn
Country/TerritoryGermany

    Research areas

  • Formal verification, AI security

ID: 86385286