Towards AI Security: Formal Verification of Robust Mean Estimation at Federal Office for Information Security, Bonn, Germany
Activity: Talk or presentation types › Lecture and oral contribution
Ieva Daukantas - Speaker
Federal Office for Information Security, Bonn, Germany
(Bundesamt für Sicherheit in der Informationstechnik, abbreviated as BSI).
(Bundesamt für Sicherheit in der Informationstechnik, abbreviated as BSI).
16 Nov 2021
External organisation
| Name | Federal Office for Information Security (BSI), Bonn, Germany |
|---|---|
| Location | Godesberger Allee 185-189 |
| City | Bonn |
| Country/Territory | Germany |
- Formal verification, AI security
Research areas
ID: 86385286