DMCA

and

by Michele Bugliesi , Giuseppe Castagna , École Normale Supérieure