Aarhus Universitets logo
English
Speaker: Chaya Ganesh (New York University)
Title: Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to…
Abstract:
Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when…
Prepare your company for the future: Participate in Brainnovation Day at January 19th and gain insight on how businesses combine with IT research for…
Students from the IT Product Development program at Aarhus University present prototypes and demo from their bachelor projects.
Presentation of Annual Report and Talk about Netflix - followed by an informal reception.
Side 72 af 74
