c.curionodeThe Turing Archive

ACM A. M. Turing Award

2012

Proving without revealing

Browse every year ↗