Aarhus Universitets logo
English
Institut for Datalogi
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
J70 Revyen inviterer jer alle indenfor i Stakladen til et gensyn med noget af det bedste materiale fra revyerne gennem de sidste ti år!
Title: Electronic voting using lattice-based commitments and verifiable encryption
Abstract: We propose a protocol for remote electronic voting using…
Side 69 af 108
