Spremljaj
Alessandro Chiesa
Alessandro Chiesa
EPFL
Preverjeni e-poštni naslov na epfl.ch - Domača stran
Naslov
Navedeno
Navedeno
Leto
Zerocash: Decentralized anonymous payments from bitcoin
EB Sasson, A Chiesa, C Garman, M Green, I Miers, E Tromer, M Virza
2014 IEEE symposium on security and privacy, 459-474, 2014
27742014
Succinct non-interactive zero knowledge for a von Neumann architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Cryptology ePrint Archive, Report 2013/879, 2 013, 2013
9572013
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
E Ben-Sasson, A Chiesa, D Genkin, Tromer, Eran, M Virza
33rd International Cryptology Conference (CRYPTO 2013), 2013
8982013
From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
N Bitansky, R Canetti, A Chiesa, E Tromer
3rd Innovations in Theoretical Computer Science Conference (ITCS 2012), 326-349, 2012
6992012
Marlin: Preprocessing zkSNARKs with universal and updatable SRS
A Chiesa, Y Hu, M Maller, P Mishra, N Vesely, N Ward
Advances in Cryptology–EUROCRYPT 2020: 39th Annual International Conference …, 2020
5242020
Aurora: Transparent succinct arguments for R1CS
E Ben-Sasson, A Chiesa, M Riabzev, N Spooner, M Virza, NP Ward
Advances in Cryptology–EUROCRYPT 2019: 38th Annual International Conference …, 2019
5132019
Succinct Non-Interactive Arguments via Linear Interactive Proofs
N Bitansky, A Chiesa, Y Ishai, R Ostrovsky, O Paneth
10th Theory of Cryptography Conference (TCC 2013), 315-333, 2012
455*2012
Recursive composition and bootstrapping for SNARKs and proof-carrying data
N Bitansky, R Canetti, A Chiesa, E Tromer
45th Symposium on the Theory of Computing (STOC 2013), 2012
4332012
Scalable zero knowledge via cycles of elliptic curves
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Algorithmica 79, 1102-1160, 2017
4112017
Interactive oracle proofs
E Ben-Sasson, A Chiesa, N Spooner
Theory of Cryptography: 14th International Conference, TCC 2016-B, Beijing …, 2016
3932016
Zexe: Enabling decentralized private computation
S Bowe, A Chiesa, M Green, I Miers, P Mishra, H Wu
2020 IEEE Symposium on Security and Privacy (SP), 947-964, 2020
2822020
Fractal: Post-quantum and Transparent Recursive Proofs from Holography
A Chiesa, D Ojha, N Spooner
Advances in Cryptology–EUROCRYPT 2020: 39th Annual International Conference …, 2020
2702020
Oblix: An efficient oblivious search index
P Mishra, R Poddar, J Chen, A Chiesa, RA Popa
2018 IEEE symposium on security and privacy (SP), 279-296, 2018
2532018
Secure sampling of public parameters for succinct zero knowledge proofs
E Ben-Sasson, A Chiesa, M Green, E Tromer, M Virza
2015 IEEE Symposium on Security and Privacy, 287-304, 2015
2342015
The hunting of the SNARK
N Bitansky, R Canetti, A Chiesa, S Goldwasser, H Lin, A Rubinstein, ...
Journal of Cryptology 30 (4), 989-1066, 2017
2022017
{DIZK}: A distributed zero knowledge proof system
H Wu, W Zheng, A Chiesa, RA Popa, I Stoica
27th USENIX Security Symposium (USENIX Security 18), 675-692, 2018
1762018
Fast reductions from RAMs to delegatable succinct constraint satisfaction problems
E Ben-Sasson, A Chiesa, D Genkin, E Tromer
4th Symposium on Innovations in Theoretical Computer Science (ITCS 2013 …, 2012
1352012
Proof-carrying data and hearsay arguments from signature cards
A Chiesa, E Tromer
1st Symposium on Innovations in Computer Science (ICS 2010), 310-331, 2010
1342010
On the concrete-efficiency of probabilistically-checkable proofs
E Ben-Sasson, A Chiesa, D Genkin, E Tromer
45th Symposium on the Theory of Computing (STOC 2013), 2012
117*2012
Cluster computing in zero knowledge
A Chiesa, E Tromer, M Virza
Advances in Cryptology-EUROCRYPT 2015: 34th Annual International Conference …, 2015
1002015
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20