Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Nicholas Spooner is active.

Publication


Featured researches published by Nicholas Spooner.


theory of cryptography conference | 2017

Zero Knowledge Protocols from Succinct Constraint Detection

Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes; Ariel Gabizon; Michael Riabzev; Nicholas Spooner

We study the problem of constructing proof systems that achieve both soundness and zero knowledge unconditionally (without relying on intractability assumptions). Known techniques for this goal are primarily combinatorial, despite the fact that constructions of interactive proofs (IPs) and probabilistically checkable proofs (PCPs) heavily rely on algebraic techniques to achieve their properties.


theory of cryptography conference | 2016

Interactive Oracle Proofs

Eli Ben-Sasson; Alessandro Chiesa; Nicholas Spooner


foundations of genetic algorithms | 2015

Fixed Budget Performance of the (1+1) EA on Linear Functions

Johannes Lengler; Nicholas Spooner


international colloquium on automata, languages and programming | 2017

Interactive Oracle Proofs with Constant Rate and Query Complexity.

Eli Ben-Sasson; Alessandro Chiesa; Ariel Gabizon; Michael Riabzev; Nicholas Spooner


IACR Cryptology ePrint Archive | 2016

Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck.

Eli Ben-Sasson; Alessandro Chiesa; Ariel Gabizon; Michael Riabzev; Nicholas Spooner


Electronic Colloquium on Computational Complexity | 2016

On Probabilistic Checking in Perfect Zero Knowledge.

Eli Ben-Sasson; Alessandro Chiesa; Michael A. Forbes; Ariel Gabizon; Michael Riabzev; Nicholas Spooner


foundations of computer science | 2018

Spatial Isolation Implies Zero Knowledge Even in a Quantum World

Alessandro Chiesa; Michael A. Forbes; Tom Gur; Nicholas Spooner


IACR Cryptology ePrint Archive | 2017

A Zero Knowledge Sumcheck and its Applications.

Alessandro Chiesa; Michael A. Forbes; Nicholas Spooner


Archive | 2012

Evaluation and Benchmarking for Robot Motion Planning Problems Using TuLiP

Nicholas Spooner

Collaboration


Dive into the Nicholas Spooner's collaboration.

Top Co-Authors

Avatar

Alessandro Chiesa

Massachusetts Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Eli Ben-Sasson

Technion – Israel Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Ariel Gabizon

Technion – Israel Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Michael Riabzev

Technion – Israel Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Michael A. Forbes

Massachusetts Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Tom Gur

Weizmann Institute of Science

View shared research outputs
Researchain Logo
Decentralizing Knowledge