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

  • Ieva Daukantas (Speaker)

    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