Algorithmic Resource Verification

Ravichandhran Kandhadai Madhavan
2017
doi:10.5075/epfl-thesis-7885 fatcat:rnrxga3s5zc2zodjyj5gh67qa4