Sign in
David Balbás
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 10
Top Topics
Encryption Key
Functional Properties
Digital Image Processing
Delay Insensitive
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
USENIX Security Symposium
TCC (3)
</>
Publications
</>
David Balbás
,
Dario Fiore
,
María Isabel González Vasco
,
Damien Robissout
,
Claudio Soriente
Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing.
IACR Cryptol. ePrint Arch.
2023 (2023)
David Balbás
,
Daniel Collins
,
Serge Vaudenay
Cryptographic Administration for Secure Group Messaging.
USENIX Security Symposium
(2023)
David Balbás
,
Daniel Collins
,
Phillip Gajland
Analysis and Improvements of the Sender Keys Protocol for Group Messaging.
CoRR
(2023)
David Balbás
,
Daniel Collins
,
Phillip Gajland
WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs.
IACR Cryptol. ePrint Arch.
2023 (2023)
David Balbás
,
Dario Fiore
,
María Isabel González Vasco
,
Damien Robissout
,
Claudio Soriente
Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing.
CCS
(2023)
David Balbás
,
Daniel Collins
,
Phillip Gajland
WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs.
ASIACRYPT (5)
(2023)
David Balbás
,
Dario Catalano
,
Dario Fiore
,
Russell W. F. Lai
Chainable Functional Commitments for Unbounded-Depth Circuits.
TCC (3)
(2023)
David Balbás
,
Daniel Collins
,
Serge Vaudenay
Cryptographic Administration for Secure Group Messaging.
IACR Cryptol. ePrint Arch.
2022 (2022)
David Balbás
,
Dario Catalano
,
Dario Fiore
,
Russell W. F. Lai
Functional Commitments for Circuits from Falsifiable Assumptions.
IACR Cryptol. ePrint Arch.
2022 (2022)
David Balbás
The Hardness of LWE and Ring-LWE: A Survey.
IACR Cryptol. ePrint Arch.
2021 (2021)