Publications

Export 2 results:
Author [ Title(Asc)] Type Year
Filters: Author is Alex B. Grilo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
G. Alagic, Childs, A. M., Grilo, A. B., and Hung, S. - H., Non-interactive classical verification of quantum computation, Theory of Cryptography Conference (TCC), vol. Lecture Notes in Computer Science 12552, pp. 153-180, 2020.