Computation of Five-and Six-Dimensional Bieberbach Groups. - Carlos Cid; Tilman Schulz (Exp. Math., 2001)

Cryptanalysis of a Cryptosystem based on Drinfeld modules. - Simon R. Blackburn; Carlos Cid; Steven D. Galbraith (IACR Cryptol. ePrint Arch., 2003)

Some Algebraic Aspects of the Advanced Encryption Standard. - Carlos Cid (AES Conference, 2004)

An Analysis of the XSL Algorithm. - Carlos Cid; Gaëtan Leurent (ASIACRYPT, 2005)

Small Scale Variants of the AES. - Carlos Cid; Sean Murphy; Matthew J. B. Robshaw (FSE, 2005)

An Algebraic Framework for Cipher Embeddings. - Carlos Cid; Sean Murphy; Matthew J. B. Robshaw (IMACC, 2005)

Algebraic aspects of the advanced encryption standard. - Carlos Cid; Sean Murphy; Matthew J. B. Robshaw (Springer, 2006)

An Analysis of the Hermes8 Stream Ciphers. - Steve Babbage; Carlos Cid; Norbert Pramstaller; Håvard Raddum (IACR Cryptol. ePrint Arch., 2006)

Recent developments in cryptographic hash functions: Security implications and future directions. - Carlos Cid (Inf. Secur. Tech. Rep., 2006)

Algebraic Techniques in Differential Cryptanalysis. - Martin R. Albrecht; Carlos Cid (IACR Cryptol. ePrint Arch., 2008)

Block Ciphers: Algebraic Cryptanalysis and Gröbner Bases. - Carlos Cid; Ralf-Philipp Weinmann (Gröbner Bases, Coding, and Cryptography, 2009)

The rakaposhi Stream Cipher. - Carlos Cid; Shinsaku Kiyomoto; Jun Kurihara (ICICS, 2009)

Cryptanalysis of the MST3 Public Key Cryptosystem. - Simon R. Blackburn; Carlos Cid; Ciaran Mullan (IACR Cryptol. ePrint Arch., 2009)

Cryptanalysis of the MST 3 public key cryptosystem. - Simon R. Blackburn; Carlos Cid; Ciaran Mullan (J. Math. Cryptol., 2009)

Algebraic Precomputations in Differential and Integral Cryptanalysis. - Martin R. Albrecht; Carlos Cid; Thomas Dullien; Jean-Charles Faugère; Ludovic Perret (Inscrypt, 2010)

Nonlinear Equivalence of Stream Ciphers. - Sondre Rønjom; Carlos Cid (FSE, 2010)

The MIFARE Classic story. - Keith Mayes; Carlos Cid (Inf. Secur. Tech. Rep., 2010)

Analysis of Message Injection in Stream Cipher-Based Hash Functions. - Yuto Nakano; Carlos Cid; Kazuhide Fukushima; Shinsaku Kiyomoto (ACNS, 2011)

Cold Boot Key Recovery by Solving Polynomial Systems with Noise. - Martin R. Albrecht; Carlos Cid (IACR Cryptol. ePrint Arch., 2011)

On the Relation Between the Mutant Strategy and the Normal Selection Strategy in Gröbner Basis Algorithms. - Martin R. Albrecht; Carlos Cid; Jean-Charles Faugère; Ludovic Perret (IACR Cryptol. ePrint Arch., 2011)

Memory Access Pattern Protection for Resource-Constrained Devices. - Yuto Nakano; Carlos Cid; Shinsaku Kiyomoto; Yutaka Miyake (CARDIS, 2012)

Are We Compromised? Modelling Security Assessment Games. - Viet Pham; Carlos Cid (IACR Cryptol. ePrint Arch., 2012)

Cryptanalysis of three matrix-based key establishment protocols. - Simon R. Blackburn; Carlos Cid; Ciaran Mullan (J. Math. Cryptol., 2012)

On the relation between the MXL family of algorithms and Gröbner basis algorithms. - Martin R. Albrecht; Carlos Cid; Jean-Charles Faugère; Ludovic Perret (J. Symb. Comput., 2012)

Strategic Discovery and Sharing of Vulnerabilities in Competitive Environments. - M. H. R. Khouzani; Viet Pham; Carlos Cid (GameSec, 2014)

Publicly Verifiable Outsourced Computation with a Key Distribution Centre. - James Alderman; Carlos Cid; Jason Crampton; Christian Janson (CoRR, 2014)

Revocation in Publicly Verifiable Outsourced Computation. - James Alderman; Carlos Cid; Jason Crampton; Christian Janson (IACR Cryptol. ePrint Arch., 2014)

Access Control in Publicly Verifiable Outsourced Computation. - James Alderman; Carlos Cid; Jason Crampton; Christian Janson (IACR Cryptol. ePrint Arch., 2014)

Optimal Contracts for Outsourced Computation. - Viet Pham; M. H. R. Khouzani; Carlos Cid (IACR Cryptol. ePrint Arch., 2014)

Picking vs. Guessing Secrets: A Game-Theoretic Analysis. - M. H. R. Khouzani; Piotr Mardziel; Carlos Cid; Mudhakar Srivatsa (CSF, 2015)

Algebraic Cryptanalysis and RFID Authentication. - Carlos Cid; Loïc Ferreira; Gordon Procter; Matthew J. B. Robshaw (RFIDSec, 2015)

Algebraic algorithms for LWE problems. - Martin R. Albrecht; Carlos Cid; Jean-Charles Faugère; Robert Fitzpatrick; Ludovic Perret (ACM Commun. Comput. Algebra, 2015)

Picking vs. Guessing Secrets: A Game-Theoretic Analysis (Technical Report). - M. H. R. Khouzani; Piotr Mardziel; Carlos Cid; Mudhakar Srivatsa (CoRR, 2015)

On the complexity of the BKW algorithm on LWE. - Martin R. Albrecht; Carlos Cid; Jean-Charles Faugère; Robert Fitzpatrick; Ludovic Perret (Des. Codes Cryptogr., 2015)

Hybrid Publicly Verifiable Computation. - James Alderman; Christian Janson; Carlos Cid; Jason Crampton (IACR Cryptol. ePrint Arch., 2015)

Multi-Client Non-Interactive Verifiable Computation. - Seung Geol Choi; Jonathan Katz; Ranjit Kumaresan; Carlos Cid (IACR Cryptol. ePrint Arch., 2015)

On Weak Keys and Forgery Attacks Against Polynomial-Based MAC Schemes. - Gordon Procter; Carlos Cid (J. Cryptol., 2015)

A Model for Secure and Mutually Beneficial Software Vulnerability Sharing. - Alex Davidson; Gregory Fenn; Carlos Cid (WISCS@CCS, 2016)

Computing Private Set Operations with Linear Complexities. - Alex Davidson; Carlos Cid (IACR Cryptol. ePrint Arch., 2016)

An Efficient Toolkit for Computing Private Set Operations. - Alex Davidson; Carlos Cid (ACISP (2), 2017)

Cryptanalysis of Deoxys and its Internal Tweakable Block Ciphers. - Carlos Cid; Tao Huang 015; Thomas Peyrin; Yu Sasaki; Ling Song 001 (IACR Cryptol. ePrint Arch., 2017)

Cloud Storage File Recoverability. - Christian A. Gorke; Christian Janson; Frederik Armknecht; Carlos Cid (IACR Cryptol. ePrint Arch., 2017)

A Security Analysis of Deoxys and its Internal Tweakable Block Ciphers. - Carlos Cid; Tao Huang 015; Thomas Peyrin; Yu Sasaki; Ling Song 001 (IACR Trans. Symmetric Cryptol., 2017)

Linear Depth Integer-Wise Homomorphic Division. - Hiroki Okada 001; Carlos Cid; Seira Hidano; Shinsaku Kiyomoto (WISTP, 2018)

Boomerang Connectivity Table: A New Cryptanalysis Tool. - Carlos Cid; Tao Huang 015; Thomas Peyrin; Yu Sasaki; Ling Song 001 (IACR Cryptol. ePrint Arch., 2018)

Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC. - Martin R. Albrecht; Carlos Cid; Lorenzo Grassi 001; Dmitry Khovratovich; Reinhard Lüftenegger; Christian Rechberger; Markus Schofnegger (IACR Cryptol. ePrint Arch., 2019)

Cryptanalysis of the Multivariate Encryption Scheme EFLASH. - Morten Øygarden; Patrick Felke; Håvard Raddum; Carlos Cid (IACR Cryptol. ePrint Arch., 2019)

Integerwise Functional Bootstrapping on TFHE. - Hiroki Okada 001; Shinsaku Kiyomoto; Carlos Cid (ISC, 2020)

Higher-Order Differentials of Ciphers with Low-Degree S-Boxes. - Carlos Cid; Lorenzo Grassi 001; Reinhard Lüftenegger; Christian Rechberger; Markus Schofnegger (IACR Cryptol. ePrint Arch., 2020)

Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-key settings. - Carlos Cid; Akinori Hosoyamada; Yunwen Liu; Siang Meng Sim (IACR Cryptol. ePrint Arch., 2020)

Partition Oracles from Weak Key Forgeries. - Marcel Armour; Carlos Cid (CANS, 2021)

A Comparison of GKE Protocols based on SIDH. - Hiroki Okada 001; Shinsaku Kiyomoto; Carlos Cid (SECRYPT, 2021)

Partitioning Oracles from Weak Key Forgeries. - Marcel Armour; Carlos Cid (IACR Cryptol. ePrint Arch., 2021)

FASTA â" a stream cipher for fast FHE evaluation. - Carlos Cid; John Petter Indrøy; Håvard Raddum (IACR Cryptol. ePrint Arch., 2021)

Integer-Wise Functional Bootstrapping on TFHE: Applications in Secure Integer Arithmetics. - Hiroki Okada 001; Shinsaku Kiyomoto; Carlos Cid (Inf., 2021)

Influence of the Linear Layer on the Algebraic Degree in SP-Networks. - Carlos Cid; Lorenzo Grassi 001; Aldo Gunsing; Reinhard Lüftenegger; Christian Rechberger; Markus Schofnegger (IACR Trans. Symmetric Cryptol., 2022)

Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation. - Martin Brain; Carlos Cid; Rachel Player; Wrenna Robson (IACR Cryptol. ePrint Arch., 2023)