Aarhus Universitets logo
English
Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…
Title: MPC over rings
Abstract:
Traditionally arithmetic multiparty computation protocols have mostly worked over finite fields. Recently, more…
Summary: Real-world problems are often characterized by data arising from non-stationary environments, with data evolving over time. These problems…
Side 47 af 79