Abstract: ------------- Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task.…
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…
Page 64 of 174.