[go: up one dir, main page]

Follow
Bernardo David
Title
Cited by
Cited by
Year
Ouroboros: A provably secure proof-of-stake blockchain protocol
A Kiayias, A Russell, B David, R Oliynykov
Advances in Cryptology–CRYPTO 2017: 37th Annual International Cryptology …, 2017
24292017
Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain
B David, P Gaži, A Kiayias, A Russell
Annual International Conference on the Theory and Applications of …, 2018
868*2018
SCRAPE: Scalable randomness attested by public entities
I Cascudo, B David
Applied Cryptography and Network Security: 15th International Conference …, 2017
2392017
Constant-size structure-preserving signatures: Generic constructions and simple assumptions
M Abe, M Chase, B David, M Kohlweiss, R Nishimaki, M Ohkubo
International Conference on the Theory and Application of Cryptology and …, 2012
146*2012
ALBATROSS: Publicly AttestabLe BATched Randomness Based On Secret Sharing
I Cascudo, B David
International Conference on the Theory and Application of Cryptology and …, 2020
1022020
Tagged one-time signatures: Tight security and optimal tag size
M Abe, B David, M Kohlweiss, R Nishimaki, M Ohkubo
Public-Key Cryptography–PKC 2013: 16th International Conference on Practice …, 2013
1022013
P2DEX: privacy-preserving decentralized cryptocurrency exchange
C Baum, B David, TK Frederiksen
Applied Cryptography and Network Security: 19th International Conference …, 2021
1002021
A Formal Classification of Internet Banking Attacks and Vulnerabilities
L Peotta, MD Holtz, BM David, FG Deus, RT de Sousa
International Journal of Computer Science & Information Technology 3 (1 …, 2011
922011
TARDIS: a foundation of time-lock puzzles in UC
C Baum, B David, R Dowsley, JB Nielsen, S Oechsner
Advances in Cryptology–EUROCRYPT 2021: 40th Annual International Conference …, 2021
78*2021
Sok: Mitigation of front-running in decentralized finance
C Baum, J Hsin-yu Chiang, B David, TK Frederiksen, L Gentile
International Conference on Financial Cryptography and Data Security, 250-271, 2022
772022
GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy.
B David, B Magri, C Matt, JB Nielsen, D Tschudi
IACR Cryptol. ePrint Arch. 2021, 211, 2021
69*2021
Insured MPC: Efficient secure computation with financial penalties
C Baum, B David, R Dowsley
Financial Cryptography and Data Security: 24th International Conference, FC …, 2020
612020
Encryption to the future: a paradigm for sending secret messages to future (anonymous) committees
M Campanelli, B David, H Khoshakhlagh, A Konring, JB Nielsen
International Conference on the Theory and Application of Cryptology and …, 2022
512022
YOLO YOSO: Fast and simple encryption and secret sharing in the YOSO model
I Cascudo, B David, L Garms, A Konring
ASIACRYPT, 2022
512022
Rate-1, linear time and additively homomorphic UC commitments
I Cascudo, I Damgård, B David, N Döttling, JB Nielsen
Annual Cryptology Conference, 179-207, 2016
492016
CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time
C Baum, B David, R Dowsley, R Kishore, JB Nielsen, S Oechsner
IACR International Conference on Public-Key Cryptography, 439-470, 2023
48*2023
Efficient unconditionally secure comparison and privacy preserving machine learning classification protocols
B David, R Dowsley, R Katti, ACA Nascimento
Provable Security: 9th International Conference, ProvSec 2015, Kanazawa …, 2015
472015
Universally composable oblivious transfer based on a variant of LPN
B David, R Dowsley, ACA Nascimento
Cryptology and Network Security: 13th International Conference, CANS 2014 …, 2014
472014
A Framework for Efficient Adaptively Secure Composable Oblivious Transfer in the ROM
PSLM Barreto, B David, R Dowsley, K Morozov, ACA Nascimento
46*
Publicly verifiable secret sharing over class groups and applications to DKG and YOSO
I Cascudo, B David
Annual International Conference on the Theory and Applications of …, 2024
432024
The system can't perform the operation now. Try again later.
Articles 1–20