Aarhus University logo
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
Algorithmic Structure in Weak Memory and RDMA Verification
Weak memory models invalidate many classical assumptions underlying program verification,…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…
Abstract:Secure multi-party computation (MPC) enables parties to compute a function over private inputs while maintaining confidentiality. Although…
Page 2 of 4
