BEGIN:VCALENDAR
VERSION:2.0
PRODID:ics.py - http://git.io/lLljaA
BEGIN:VEVENT
DESCRIPTION:Title: CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives\nLecturer: Chitchanok Chuengsatiansup\nAffiliation: University of Klagenfurt\nAbstract: https://www.math.aau.at/talks/252/pdf\nDoctoral Seminar\nDepartment of Mathematics\nHost: Clemens Heuberger\n
DTEND:20250312T100000Z
LOCATION:N.2.35
DTSTART:20250312T090000Z
SUMMARY:Talk: Chuengsatiansup
UID:talk_252@math.aau.at
URL:https://www.math.aau.at/talks/252/pdf
END:VEVENT
END:VCALENDAR