Carlos Cid

83 papers A* 5A 3B 7C 6Misc 6Journal 43Unranked 11
YearRankTypeTitle / Venue / Authors
2026 Misc ed.
Advances in Information and Computer Security - 20th International Workshop on Security, IWSEC 2025, Fukuoka, Japan, November 25-27, 2025, Proceedings
IWSEC
Carlos Cid, Naoto Yanai
2025 J jnl
Superposition Attacks Against LPN-Based Authentication Protocols.
IACR Cryptol. ePrint Arch.
Carlos Cid, David Elkouss, Manuel Goulão
2023 J jnl
Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation.
IACR Cryptol. ePrint Arch.
Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson
2022 B conf
FASTA - A Stream Cipher for Fast FHE Evaluation.
CT-RSA
Carlos Cid, John Petter Indrøy, Håvard Raddum
2022 J jnl
Influence of the Linear Layer on the Algebraic Degree in SP-Networks.
IACR Trans. Symmetric Cryptol.
Carlos Cid, Lorenzo Grassi, Aldo Gunsing, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger
2022 — conf
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation.
CBCrypto
Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson
2021 C conf
A Comparison of GKE Protocols based on SIDH.
SECRYPT
Hiroki Okada, Shinsaku Kiyomoto, Carlos Cid
2021 J jnl
FASTA â€" a stream cipher for fast FHE evaluation.
IACR Cryptol. ePrint Arch.
Carlos Cid, John Petter Indrøy, Håvard Raddum
2021 J jnl
Integer-Wise Functional Bootstrapping on TFHE: Applications in Secure Integer Arithmetics.
Inf.
Hiroki Okada, Shinsaku Kiyomoto, Carlos Cid
2021 B conf
Partition Oracles from Weak Key Forgeries.
CANS
Marcel Armour, Carlos Cid
2021 J jnl
Partitioning Oracles from Weak Key Forgeries.
IACR Cryptol. ePrint Arch.
Marcel Armour, Carlos Cid
2020 B conf
Cryptanalysis of the Multivariate Encryption Scheme EFLASH.
CT-RSA
Morten Øygarden, Patrick Felke, Håvard Raddum, Carlos Cid
2020 J jnl
Higher-Order Differentials of Ciphers with Low-Degree S-Boxes.
IACR Cryptol. ePrint Arch.
Carlos Cid, Lorenzo Grassi, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger
2020 C conf
Integerwise Functional Bootstrapping on TFHE.
ISC
Hiroki Okada, Shinsaku Kiyomoto, Carlos Cid
2020 Misc conf
Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings.
INDOCRYPT
Carlos Cid, Akinori Hosoyamada, Yunwen Liu, Siang Meng Sim
2020 J jnl
Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-key settings.
IACR Cryptol. ePrint Arch.
Carlos Cid, Akinori Hosoyamada, Yunwen Liu, Siang Meng Sim
2019 — conf
Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC.
ASIACRYPT (3)
Martin R. Albrecht, Carlos Cid, Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger
2019 J jnl
Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid, Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger
2019 J jnl
Cryptanalysis of the Multivariate Encryption Scheme EFLASH.
IACR Cryptol. ePrint Arch.
Morten Øygarden, Patrick Felke, Håvard Raddum, Carlos Cid
2019 Misc ed.
Selected Areas in Cryptography - SAC 2018 - 25th International Conference, Calgary, AB, Canada, August 15-17, 2018, Revised Selected Papers
SAC
Carlos Cid, Michael J. Jacobson Jr.
2018 — conf
Boomerang Connectivity Table: A New Cryptanalysis Tool.
EUROCRYPT (2)
Carlos Cid, Tao Huang, Thomas Peyrin, Yu Sasaki, Ling Song
2018 J jnl
Boomerang Connectivity Table: A New Cryptanalysis Tool.
IACR Cryptol. ePrint Arch.
Carlos Cid, Tao Huang, Thomas Peyrin, Yu Sasaki, Ling Song
2018 C conf
Linear Depth Integer-Wise Homomorphic Division.
WISTP
Hiroki Okada, Carlos Cid, Seira Hidano, Shinsaku Kiyomoto
2017 J jnl
A Security Analysis of Deoxys and its Internal Tweakable Block Ciphers.
IACR Trans. Symmetric Cryptol.
Carlos Cid, Tao Huang, Thomas Peyrin, Yu Sasaki, Ling Song
2017 — conf
An Efficient Toolkit for Computing Private Set Operations.
ACISP (2)
Alex Davidson, Carlos Cid
2017 — conf
Cloud Storage File Recoverability.
SCC@AsiaCCS
Christian A. Gorke, Christian Janson, Frederik Armknecht, Carlos Cid
2017 J jnl
Cloud Storage File Recoverability.
IACR Cryptol. ePrint Arch.
Christian A. Gorke, Christian Janson, Frederik Armknecht, Carlos Cid
2017 J jnl
Cryptanalysis of Deoxys and its Internal Tweakable Block Ciphers.
IACR Cryptol. ePrint Arch.
Carlos Cid, Tao Huang, Thomas Peyrin, Yu Sasaki, Ling Song
2016 — conf
A Model for Secure and Mutually Beneficial Software Vulnerability Sharing.
WISCS@CCS
Alex Davidson, Gregory Fenn, Carlos Cid
2016 J jnl
Computing Private Set Operations with Linear Complexities.
IACR Cryptol. ePrint Arch.
Alex Davidson, Carlos Cid
2016 B conf
Hybrid Publicly Verifiable Computation.
CT-RSA
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
2015 A conf
Access Control in Publicly Verifiable Outsourced Computation.
AsiaCCS
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
2015 — conf
Algebraic Cryptanalysis and RFID Authentication.
RFIDSec
Carlos Cid, Loïc Ferreira, Gordon Procter, Matthew J. B. Robshaw
2015 J jnl
Algebraic algorithms for LWE problems.
ACM Commun. Comput. Algebra
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
2015 A* ed.
Fast Software Encryption - 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
FSE
Carlos Cid, Christian Rechberger
2015 J jnl
Hybrid Publicly Verifiable Computation.
IACR Cryptol. ePrint Arch.
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
2015 J jnl
Multi-Client Non-Interactive Verifiable Computation.
IACR Cryptol. ePrint Arch.
Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Carlos Cid
2015 J jnl
On Weak Keys and Forgery Attacks Against Polynomial-Based MAC Schemes.
J. Cryptol.
Gordon Procter, Carlos Cid
2015 J jnl
On the complexity of the BKW algorithm on LWE.
Des. Codes Cryptogr.
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
2015 J jnl
Picking vs. Guessing Secrets: A Game-Theoretic Analysis (Technical Report).
CoRR
M. H. R. Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa
2015 A conf
Picking vs. Guessing Secrets: A Game-Theoretic Analysis.
CSF
M. H. R. Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa
2014 J jnl
Access Control in Publicly Verifiable Outsourced Computation.
IACR Cryptol. ePrint Arch.
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
2014 J jnl
Algebraic Algorithms for LWE Problems.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
2014 — conf
Optimal Contracts for Outsourced Computation.
GameSec
Viet Pham, M. H. R. Khouzani, Carlos Cid
2014 J jnl
Optimal Contracts for Outsourced Computation.
IACR Cryptol. ePrint Arch.
Viet Pham, M. H. R. Khouzani, Carlos Cid
2014 J jnl
Publicly Verifiable Outsourced Computation with a Key Distribution Centre.
CoRR
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
2014 Misc conf
Revocation in Publicly Verifiable Outsourced Computation.
Inscrypt
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
2014 J jnl
Revocation in Publicly Verifiable Outsourced Computation.
IACR Cryptol. ePrint Arch.
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
2014 — conf
Strategic Discovery and Sharing of Vulnerabilities in Competitive Environments.
GameSec
M. H. R. Khouzani, Viet Pham, Carlos Cid
2013 B conf
Multi-Client Non-interactive Verifiable Computation.
TCC
Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Carlos Cid
2013 A* conf
On Weak Keys and Forgery Attacks Against Polynomial-Based MAC Schemes.
FSE
Gordon Procter, Carlos Cid
2013 J jnl
On Weak Keys and Forgery Attacks against Polynomial-based MAC Schemes.
IACR Cryptol. ePrint Arch.
Gordon Procter, Carlos Cid
2012 — conf
Are We Compromised? Modelling Security Assessment Games.
GameSec
Viet Pham, Carlos Cid
2012 J jnl
Are We Compromised? Modelling Security Assessment Games.
IACR Cryptol. ePrint Arch.
Viet Pham, Carlos Cid
2012 J jnl
Cryptanalysis of three matrix-based key establishment protocols.
J. Math. Cryptol.
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
2012 C conf
Memory Access Pattern Protection for Resource-Constrained Devices.
CARDIS
Yuto Nakano, Carlos Cid, Shinsaku Kiyomoto, Yutaka Miyake
2012 J jnl
On the Complexity of the BKW Algorithm on LWE.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
2012 J jnl
On the relation between the MXL family of algorithms and Gröbner basis algorithms.
J. Symb. Comput.
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret
2011 B conf
Analysis of Message Injection in Stream Cipher-Based Hash Functions.
ACNS
Yuto Nakano, Carlos Cid, Kazuhide Fukushima, Shinsaku Kiyomoto
2011 B conf
Cold Boot Key Recovery by Solving Polynomial Systems with Noise.
ACNS
Martin R. Albrecht, Carlos Cid
2011 J jnl
Cold Boot Key Recovery by Solving Polynomial Systems with Noise.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid
2011 J jnl
Cryptanalysis of three matrix-based key establishment protocols
CoRR
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
2011 J jnl
Cryptanalysis of three matrix-based key establishment protocols.
IACR Cryptol. ePrint Arch.
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
2011 J jnl
On the Relation Between the Mutant Strategy and the Normal Selection Strategy in Gröbner Basis Algorithms.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret
2010 Misc conf
Algebraic Precomputations in Differential and Integral Cryptanalysis.
Inscrypt
Martin R. Albrecht, Carlos Cid, Thomas Dullien, Jean-Charles Faugère, Ludovic Perret
2010 A* conf
Nonlinear Equivalence of Stream Ciphers.
FSE
Sondre Rønjom, Carlos Cid
2010 J jnl
The MIFARE Classic story.
Inf. Secur. Tech. Rep.
Keith Mayes, Carlos Cid
2009 A* conf
Algebraic Techniques in Differential Cryptanalysis.
FSE
Martin R. Albrecht, Carlos Cid
2009 — ch.
Block Ciphers: Algebraic Cryptanalysis and Gröbner Bases.
Gröbner Bases, Coding, and Cryptography
Carlos Cid, Ralf-Philipp Weinmann
2009 J jnl
Cryptanalysis of the MST
IACR Cryptol. ePrint Arch.
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
2009 J jnl
Cryptanalysis of the MST 3 public key cryptosystem.
J. Math. Cryptol.
Simon R. Blackburn, Carlos Cid, Ciaran Mullan
2009 C conf
The rakaposhi Stream Cipher.
ICICS
Carlos Cid, Shinsaku Kiyomoto, Jun Kurihara
2008 J jnl
Algebraic Techniques in Differential Cryptanalysis.
IACR Cryptol. ePrint Arch.
Martin R. Albrecht, Carlos Cid
2007 Misc conf
An Analysis of the Hermes8 Stream Ciphers.
ACISP
Steve Babbage, Carlos Cid, Norbert Pramstaller, Håvard Raddum
2006 — book
Algebraic aspects of the advanced encryption standard.
Carlos Cid, Sean Murphy, Matthew J. B. Robshaw
2006 J jnl
An Analysis of the Hermes8 Stream Ciphers.
IACR Cryptol. ePrint Arch.
Steve Babbage, Carlos Cid, Norbert Pramstaller, Håvard Raddum
2006 J jnl
Recent developments in cryptographic hash functions: Security implications and future directions.
Inf. Secur. Tech. Rep.
Carlos Cid
2005 C conf
An Algebraic Framework for Cipher Embeddings.
IMACC
Carlos Cid, Sean Murphy, Matthew J. B. Robshaw
2005 A conf
An Analysis of the XSL Algorithm.
ASIACRYPT
Carlos Cid, Gaëtan Leurent
2005 A* conf
Small Scale Variants of the AES.
FSE
Carlos Cid, Sean Murphy, Matthew J. B. Robshaw
2004 — conf
Some Algebraic Aspects of the Advanced Encryption Standard.
AES Conference
Carlos Cid
2003 J jnl
Cryptanalysis of a Cryptosystem based on Drinfeld modules.
IACR Cryptol. ePrint Arch.
Simon R. Blackburn, Carlos Cid, Steven D. Galbraith
2001 J jnl
Computation of Five-and Six-Dimensional Bieberbach Groups.
Exp. Math.
Carlos Cid, Tilman Schulz