Follow
Sandro Coretti
Sandro Coretti
IOHK
Verified email at iohk.io - Homepage
Title
Cited by
Cited by
Year
The double ratchet: security notions, proofs, and modularization for the signal protocol
J Alwen, S Coretti, Y Dodis
Annual International Conference on the Theory and Applications of …, 2019
1702019
Security analysis and improvements for the IETF MLS standard for group messaging
J Alwen, S Coretti, Y Dodis, Y Tselekounis
Annual International Cryptology Conference, 248-277, 2020
1072020
Random oracles and non-uniformity
S Coretti, Y Dodis, S Guo, J Steinberger
Annual International Conference on the Theory and Applications of …, 2018
782018
From single-bit to multi-bit public-key encryption via non-malleable codes
S Coretti, U Maurer, B Tackmann, D Venturi
Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015 …, 2015
702015
Non-uniform bounds in the random-permutation, ideal-cipher, and generic-group models
S Coretti, Y Dodis, S Guo
Advances in Cryptology–CRYPTO 2018: 38th Annual International Cryptology …, 2018
552018
Non-malleable encryption: simpler, shorter, stronger
S Coretti, Y Dodis, B Tackmann, D Venturi
Theory of Cryptography Conference, 306-335, 2015
542015
Continuous group key agreement with active security
J Alwen, S Coretti, D Jost, M Mularczyk
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC …, 2020
482020
Constant-round asynchronous multi-party computation based on one-way functions
S Coretti, J Garay, M Hirt, V Zikas
International Conference on the Theory and Application of Cryptology and …, 2016
482016
Fast isomorphic state channels
MMT Chakravarty, S Coretti, M Fitzi, P Gaži, P Kant, A Kiayias, A Russell
Financial Cryptography and Data Security: 25th International Conference, FC …, 2021
422021
Modular design of secure group messaging protocols and the security of MLS
J Alwen, S Coretti, Y Dodis, Y Tselekounis
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
412021
Constructing confidential channels from authenticated channels—public-key encryption revisited
S Coretti, U Maurer, B Tackmann
Advances in Cryptology-ASIACRYPT 2013: 19th International Conference on the …, 2013
402013
Probabilistic termination and composability of cryptographic protocols
R Cohen, S Coretti, J Garay, V Zikas
Advances in Cryptology–CRYPTO 2016: 36th Annual International Cryptology …, 2016
392016
Round-preserving parallel composition of probabilistic-termination cryptographic protocols
R Cohen, S Coretti, J Garay, V Zikas
Journal of Cryptology 34, 1-57, 2021
282021
Key exchange with unilateral authentication: Composable security definition and modular protocol design
U Maurer, B Tackmann, S Coretti
Cryptology ePrint Archive, 2013
242013
Nonlocality is transitive
S Coretti, E Hänggi, S Wolf
Physical Review Letters 107 (10), 100402, 2011
202011
The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols
S Coretti, A Kiayias, C Moore, A Russell
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
182022
Seedless fruit is the sweetest: Random number generation, revisited
S Coretti, Y Dodis, H Karthikeyan, S Tessaro
Annual International Cryptology Conference, 205-234, 2019
152019
Probabilistic termination and composability of cryptographic protocols
R Cohen, S Coretti, J Garay, V Zikas
Journal of Cryptology 32 (3), 690-741, 2019
152019
Rate-optimizing compilers for continuously non-malleable codes
S Coretti, A Faonio, D Venturi
International Conference on Applied Cryptography and Network Security, 3-23, 2019
132019
Self-destruct non-malleability
S Coretti, Y Dodis, B Tackmann, D Venturi
IACR Cryptology ePrint Archive 2014, 866, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20