Login / Signup
Nan Yang
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 12
Top Topics
Knowledge Extraction
Theorem Prover
Mathematical Proofs
User Friendly
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
Electron. Colloquium Comput. Complex.
Mycrypt
</>
Publications
</>
Pouriya Alikhani
,
Nicolas Brunner
,
Claude Crépeau
,
Sébastien Designolle
,
Raphaël Houlmann
,
Weixu Shi
,
Nan Yang
,
Hugo Zbinden
Experimental relativistic zero-knowledge proofs.
Nat.
599 (7883) (2021)
Claude Crépeau
,
Arnaud Massenet
,
Louis Salvail
,
Lucas Shigeru Stinchcombe
,
Nan Yang
Practical Relativistic Zero-Knowledge for NP.
ITC
(2020)
Claude Crépeau
,
Arnaud Massenet
,
Louis Salvail
,
Lucas Stinchcombe
,
Nan Yang
Practical Relativistic Zero-Knowledge for NP.
Electron. Colloquium Comput. Complex.
27 (2020)
Claude Crépeau
,
Nan Yang
Non-Locality in Interactive Proofs.
Electron. Colloquium Comput. Complex.
26 (2019)
Claude Crépeau
,
Nan Yang
Non-Locality and Zero-Knowledge MIPs.
IACR Cryptol. ePrint Arch.
2019 (2019)
Claude Crépeau
,
Arnaud Massenet
,
Louis Salvail
,
Lucas Stinchcombe
,
Nan Yang
Practical Relativistic Zero-Knowledge for NP.
IACR Cryptol. ePrint Arch.
2019 (2019)
Claude Crépeau
,
Nan Yang
Non-Locality and Zero-Knowledge MIPs.
CoRR
(2019)
Claude Crépeau
,
Arnaud Massenet
,
Louis Salvail
,
Lucas Stinchcombe
,
Nan Yang
Practical Relativistic Zero-Knowledge for NP.
CoRR
(2019)
Claude Crépeau
,
Nan Yang
New Perspectives on Multi-Prover Interactive Proofs.
IACR Cryptol. ePrint Arch.
2018 (2018)
Claude Crépeau
,
Nan Yang
New Perspectives on Multi-Prover Interactive Proofs.
CoRR
(2018)
Claude Crépeau
,
Nan Yang
Multi-Prover Interactive Proofs: Unsound Foundations.
IACR Cryptol. ePrint Arch.
2017 (2017)
Claude Crépeau
,
Nan Yang
Multi-prover Interactive Proofs: Unsound Foundations.
Mycrypt
(2016)