Carlos Cid

research

projects

• CertiCoLab: Collaborative Laboratory for Investigating Certifiable Computation partner: Alex Davidson (Universidade NOVA de Lisboa)

  Jan-Dec 2024

• COSINUS — Collaboration On Secrecy to Investigate New USes partner: Léo Perrin (Inria Paris)

  Jun 2023 - May 2025

publications

• Algebraic Aspects of the Advanced Encryption Standard Carlos Cid, Sean Murphy, Matthew Robshaw

  Springer, 2006.

• Fast Software Encryption - 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers Carlos Cid, Christian Rechberger (Eds.)

  Lecture Notes in Computer Science 8540, Springer 2015.

• Selected Areas in Cryptography - SAC 2018 - 25th International Conference, Calgary, AB, Canada, August 15-17, 2018, Revised Selected Papers Carlos Cid, Michael J. Jacobson Jr. (Eds.)

  Lecture Notes in Computer Science 11349, Springer 2019.

• Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson

  Code-Based Cryptography. CBCrypto 2022. LNCS13839, pages 21-36, Springer, 2023.

• FASTA - a stream cipher for fast FHE evaluation Carlos Cid, John Petter Indrøy, Håvard Raddum

  Topics in Cryptology - CT-RSA 2022. LNCS13161, pages 451-483, Springer, 2022.

• Partitioning Oracles from Weak Key Forgeries Marcel Armour, Carlos Cid

  International Conference on Cryptology And Network Security - CANS 2021, LNCS 13099, pages 42-62, Springer 2021.

• Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings Carlos Cid, Akinori Hosoyamada, Yunwen Liu, Siang Meng Sim

  Proceedings of INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, Dec 13-16, 2020, LNCS 12578, pages 373-394, Springer 2020.

• Integerwise Functional Bootstrapping on TFHE Hiroki Okada, Shinsaku Kiyomoto, Carlos Cid

  Proceedings of ISC 2020 - 23rd International Conference on Information Security, Bali, Indonesia, Dec 16-18, 2020, LNCS 12472, pages 107-125, Springer 2020.

• Cryptanalysis of the Multivariate Encryption Scheme EFLASH Morten Øygarden, Patrick Felke, Håvard Raddum, Carlos Cid

  Topics in Cryptology - CT-RSA 2020 - The Cryptographers' Track at the RSA Conference 2020, San Francisco, CA, USA, Feb 24-28, 2020, LNCS 12006, pages 85-105, Springer 2020.

• Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC Martin R. Albrecht, Carlos Cid, Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger

  Proceedings of ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, Dec 8-12, 2019, Part III. LNCS 11923, pages 371-397, Springer 2019.

• Linear Depth Integer-Wise Homomorphic Division Hiroki Okada, Carlos Cid, Seira Hidano, Shinsaku Kiyomoto

  Information Security Theory and Practice - 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, Dec 10-11, 2018, LNCS 11469, pages 91-106, Springer 2019.

• Boomerang Connectivity Table: A New Cryptanalysis Tool Carlos Cid, T. Huang, T. Peyrin, Y. Sasaki, L. Song

  Advances in Cryptology – EUROCRYPT 2018. LNCS 10821, pages 683–714. Springer Heidelberg, 2018.

• Cloud Storage File Recoverability Christian Gorke, Christian Janson, Frederik Armknecht, Carlos Cid

  Proceedings of the Fifth ACM International Workshop on Security in Cloud Computing. ACM, pages 19–26, Abu Dhabi, United Arab Emirates, 2 April 2017.

• An Efficient Toolkit for Computing Private Set Operations Alex Davidson, Carlos Cid

  Proceedings of ACISP 2017 – the 22nd Australasian Conference on Information Security and Privacy, Part II. LNCS 10343, pages 261–278, Auckland, New Zealand, 3-5 July 2017.

• A Model for Secure and Mutually Beneficial Software Vulnerability Sharing Alex Davidson, Gregory Fenn, Carlos Cid

  Proceedings of WISCS 2016, the 3rd ACM on Workshop on Information Sharing and Collaborative Security. ACM, pages 3–14, Vienna, Austria, 24-24 October 2016.

• Hybrid Publicly Verifiable Computation James Alderman, Christian Janson, Carlos Cid, Jason Crampton

  Topics in Cryptology - CT-RSA 2016 - The Cryptographers’ Track at the RSA Conference 2016, LNCS 9610, pages 147–163, San Francisco, CA, USA, Mar 2016.

• Algebraic algorithms for LWE problems Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret

  ACM Communications in Computer Algebra, 49(2), August 2015 (link to extended version in eprint).

• Picking vs. Guessing Secrets: A Game-Theoretic Analysis M. H. R. Khouzani, Piotr Mardziel, Carlos Cid, Mudhakar Srivatsa

  IEEE 28th Computer Security Foundations Symposium, CSF 2015, pages 243–257, Verona, Italy Jul 2015. IEEE (2015).

• Algebraic Cryptanalysis and RFID Authentication Carlos Cid, Loïc Ferreira, Gordon Procter, Matthew J. B. Robshaw

  Proceedings of RFIDsec 2015, LNCS 9440, pages 104–121, New York – USA, Jun 2015. Springer-Verlag.

• Access Control in Publicly Verifiable Outsourced Computation James Alderman, Christian Janson, Carlos Cid, Jason Crampton

  Proceedings of ASIA CCS 2015 – 10th ACM Symposium on Information, Computer and Communications Security, pages 657–662, Singapore, Apr 2015. ACM (2015).

• Revocation in Publicly Verifiable Outsourced Computation James Alderman, Christian Janson, Carlos Cid, Jason Crampton

  Proceedings of Inscrypt 2014 – 10th International Conference of Information Security and Cryptology, LNCS 8957, pages 51–71, Beijing, China, Dec 2014. Springer-Verlag.

• Strategic Discovery and Sharing of Vulnerabilities in Competitive Environments M.H.R. Khouzani, Viet Pham, Carlos Cid

  Proceedings of GameSec 2014 – Fifth Conference on Decision and Game Theory for Security, LNCS 8840, pages 59-78, Los Angeles – USA, Nov 2014. Springer-Verlag.

• Optimal Contracts for Outsourced Computation Viet Pham, M.H.R. Khouzani, Carlos Cid

  Proceedings of GameSec 2014 – Fifth Conference on Decision and Game Theory for Security, LNCS 8840, pages 79-98, Los Angeles – USA, Nov 2014. Springer-Verlag.

• Incentive Engineering for Outsourced Computation in the Face of Collusion M.H.R. Khouzani, Viet Pham, Carlos Cid

  Proceedings of WEIS 2014 – 13th Annual Workshop on the Economics of Information Security, Penn State, Jun 2014.

• On Weak Keys and Forgery Attacks against Polynomial-based MAC Schemes Gordon Procter, Carlos Cid

  Proceedings of FSE 2013 – 20th International Workshop on Fast Software Encryption, LNCS 8424, pages 287-304, Singapore, Mar 2013. Springer-Verlag (winner of FSE 2013 Best Paper Award).

• Multi-Client Non-Interactive Verifiable Computation Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Carlos Cid

  Proceedings of TCC 2013 – 10th Theory of Cryptography Conference, LNCS 7785, pages 499-518, Tokyo, Japan, Mar 2013. Springer-Verlag.

• Memory Access Pattern Protection for Resource-Constrained Devices Yuto Nakano, Carlos Cid, Shinsaku Kiyomoto, Yutaka Miyake

  Proceedings of CARDIS 2012, LNCS 7771, pages 188-202, Graz, Austria, Nov 2012. Springer-Verlag.

• Are We Compromised? Modelling Security Assessment Games Viet Pham, Carlos Cid

  Proceedings of GameSec 2012 – Conference on Decision and Game Theory for Security, LNCS 7638, pages 234-247, Budapest, Hungary, Nov 2012. Springer-Verlag.

• Cold Boot Key Recovery by Solving Polynomial Systems with Noise Martin R. Albrecht, Carlos Cid

  Proceedings of 9th International Conference on Applied Cryptography and Network Security (ACNS’11), LNCS 6715, pages 57-72, Nerja, Spain, June 2011. Springer-Verlag.

• Analysis of Message Injection in Stream Cipher-based Hash Functions Yuto Nakano, Carlos Cid, Kazuhide Fukushima, Shinsaku Kiyomoto

  Proceedings of 9th International Conference on Applied Cryptography and Network Security (ACNS’11), LNCS 6715, pages 498-513, Nerja, Spain, June 2011. Springer-Verlag.

• Group Theory in Cryptography Simon R. Blackburn, Carlos Cid, Ciaran Mullan

  Groups St Andrews 2009 in Bath, London Mathematical Society Lecture Note Series 387, Vol 1, pp. 133-149. Cambridge University Press, 2011.

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

  Proceedings of INSCRYPT 2010, LNCS 6584, p. 387-403. Shanghai, China, October 2010. Springer-Verlag.

• Nonlinear Equivalence of Stream Ciphers Sondre Rønjom, Carlos Cid

  Proceedings of Fast Software Encryption (FSE) 2010, LNCS 6147, pages 40-54, Seoul, Korea, February 2010. Springer-Verlag.

• The RAKAPOSHI Stream Cipher Carlos Cid, Shinsaku Kiyomoto, Jun Kurihara

  Proceedings of ICICS 2009, LNCS 5927, pages 32-46, Beijing, China, December 2009. Springer-Verlag.

• Algebraic Techniques in Differential Cryptanalysis Martin R. Albrecht, Carlos Cid

  Proceedings of Fast Software Encryption (FSE) 2009, LNCS 5665, pages 193-208, Leuven, Belgium, February 2009. Springer-Verlag.

• An Analysis of the Hermes8 Stream Ciphers Steve Babbage, Carlos Cid, Norbert Pramstaller, Håvard Raddum

  Proceedings of the 12th Australasian Conference on Information Security and Privacy, ACISP 2007, LNCS 4586, pages 1-10, Townsville, Australia, July 2007. Springer-Verlag.

• An Algebraic Framework for Cipher Embeddings Carlos Cid, Sean Murphy, Matthew J.B. Robshaw

  Proceedings of the 10th IMA International Conference on Coding and Cryptography, LNCS 3796, pages 278-289, Cirencester – UK, Dec 2005. Springer-Verlag.

• An Analysis of the XSL Algorithm Carlos Cid, Gaëtan Leurent

  Proceedings of ASIACRYPT 2005, LNCS 3788, pages 333-352, Chennai – India, Dece 2005. Springer-Verlag.

• Small Scale Variants of the AES Carlos Cid, Sean Murphy, Matthew J.B. Robshaw

  Proceedings of Fast Software Encryption (FSE) 2005, LNCS 3557, pages 145-162, Paris, February 2005. Springer-Verlag.

• Some Algebraic Aspects of the Advanced Encryption Standard Carlos Cid

  Proceedings of the Fourth Conference on the Advanced Encryption Standard (AES4), LNCS 3373, pages 58-66, Bonn, May 2004. Springer-Verlag.

• Computational and Algebraic Aspects of the Advanced Encryption Standard Carlos Cid, Sean Murphy, Matthew J.B. Robshaw

  Proceedings of the Seventh International Workshop on Computer Algebra in Scientific Computing, CASC’2004, pp. 93-103, St. Petersburg 2004.

• The Maple Package “Janet”: II. Linear Partial Differential Systems Yuri Blinkow, Carlos Cid, Vladimir Gerdt, Wilhelm Plesken and Daniel Robertz

  Proceedings of the Sixth International Workshop on Computer Algebra in Scientific Computing, CASC’ 2003, Passau 2003.

• The Maple Package “Janet”: I. Polynomials Systems Yuri Blinkow, Carlos Cid, Vladimir Gerdt, Wilhelm Plesken and Daniel Robertz

  Proceedings of the Sixth International Workshop on Computer Algebra in Scientific Computing, CASC’ 2003, Passau 2003.

• Invariants of Finite Groups and Involutive Division Carlos Cid, W. Plesken

  Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, CASC’ 2001, Springer, Berlin 2001, pp. 123-136.

• Experimental Integration of Quantum Key Distribution and Post-Quantum Cryptography in a Hybrid Quantum-Safe Cryptosystem Lydia Garms, Taofiq K. Paraïso, Neil Hanley, Ayesha Khalid, Ciara Rafferty, James Grant, James Newman, Andrew J. Shields, Carlos Cid, and Maire O’Neill

  Advanced Quantum Technologies 7, Issue 4 (2024). Wiley.

• Influence of the Linear Layer on the Algebraic Degree in SP-Networks Carlos Cid, Lorenzo Grassi, Aldo Gunsing , Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger

  IACR Transactions on Symmetric Cryptology, Vol 2022 (1), pages 110-137, Mar 2022.

• Integer-Wise Functional Bootstrapping on TFHE: Applications in Secure Integer Arithmetics Hiroki Okada, Shinsaku Kiyomoto, Carlos Cid

  Information 2021, 12(8), 297.

• A Security Analysis of Deoxys and its Internal Tweakable Block Ciphers Carlos Cid, T. Huang, T. Peyrin, Y. Sasaki, L. Song

  IACR Transactions on Symmetric Cryptology, Vol 2017 (3), pages 73–107, Sep 2017.

• On the complexity of the BKW algorithm on LWE M.R. Albrecht, Carlos Cid, J-C. Faugère, R. Fitzpatrick, L. Perret

  Designs, Codes and Cryptography, Vol. 74, Number 2, pages 325–354, February 2015.

• On Weak Keys and Forgery Attacks Against Polynomial-Based MAC Schemes G. Procter, Carlos Cid

  Journal of Cryptology, Vol 28 (4), pages 769–795 (2015).

• On the relation between the MXL family of algorithms and Gröbner basis algorithms M.R. Albrecht, Carlos Cid, J-C. Faugère, L. Perret

  Journal of Symbolic Computation, Vol 47 (8), pages 926–941, August 2012.

• Cryptanalysis of three matrix-based key establishment protocols S.R. Blackburn, Carlos Cid, C. Mullan

  Journal of Mathematical Cryptology. Volume 5, Issue 2, Pages 159 – 168. de Gruyter, 2011.

• Cryptanalysis of the MST3 Public Key Cryptosystem S.R. Blackburn, Carlos Cid, C. Mullan

  Journal of Mathematical Cryptology. Volume 3, Issue 4, Pages 321–338. de Gruyter, 2009.

• Cryptanalysis of Pomaranch Carlos Cid, H. Gilbert, T. Johansson

  IEE Proceedings Information Security. Volume 153, Issue 2 (2006), p. 51–53.

• Cryptanalysis of a Cryptosystem based on Drinfeld Modules S.R. Blackburn, Carlos Cid, S. Galbraith

  IEE Proceedings Information Security. Volume 153, Issue 1 (2006), p. 12–14.

• Torsion-free metabelian groups with commutator quotient C_p^n × C_p^m Carlos Cid

  Journal of Algebra, 248, 15-36 (2002).

• Computation of Five- and Six-Dimensional Bieberbach Groups Carlos Cid, T. Schulz

  Experimental Mathematics, Vol. 10, No. 1, 2001, p. 109-115.

• Bieberbach groups with finite commutator quotient and point-group C_p^n × C_p^m Carlos Cid

  Journal of Group Theory. 3, Issue 2 (2000), 113–125.

• Block Ciphers: Algebraic Cryptanalysis and Gröbner bases Carlos Cid, Ralf-Philipp Weinmann

  In: M. Sala, T. Mora, L. Perret, S. Sakata, C. Traverso (Eds.), Gröbner Bases, Coding, and Cryptography, pp. 307-328, Springer 2009.

• Classic McEliece: conservative code-based cryptography Daniel J. Bernstein, Tung Chou, Carlos Cid, Jan Gilcher, Tanja Lange, Varun Maram, Ingo von Maurich, Rafael Misoczki, Ruben Niederhagen, Edoardo Persichetti, Christiane Peters, Nicolas Sendrier, Jakub Szefer, Cen Jung Tjhai, Martin Tomlinson, Wen Wang

  Round-4 candidate in NIST's Post-Quantum Cryptography Standardization Process.

• NTS-KEM Martin Albrecht, Carlos Cid, Kenneth G. Paterson, CJ Tjhai, Martin Tomlinson

  Submission to NIST's Post-Quantum Cryptography Standardization Process.

• The MIFARE Classic story Keith Mayes, Carlos Cid

  Information Security Technical Report, Volume 15, Issue 1, Page 8-12 (2010), Elsevier Ltd.

• The eSTREAM Portfolio in 2012 Carlos Cid, Matt Robshaw (Editors)

  ECRYPT II Report (D.SYM.10), 16 January 2012.

• The eSTREAM Portfolio 2009 Annual Update Carlos Cid, Matthew Robshaw (Editors)

  ECRYPT II Report (D.SYM.3), 01 October 2009, Revision 1.1.

• Algebraic Cryptanalysis of Symmetric Primitives Carlos Cid (Editor)

  ECRYPT Report (D.STVL.7), 18 July 2008.

• AES Security Report Carlos Cid, Henri Gilbert (Editors)

  ECRYPT Report (D.STVL.2), 30 January 2006.

• Recent developments in cryptographic hash functions: Security implications and future directions Carlos Cid

  Information Security Technical Report, Volume 11, Issue 2, Page 100-107 (2006), Elsevier Ltd.

• An Assessment of the Oracle Password Hashing Algorithm Joshua Wright, Carlos Cid

  SANS InfoSec Reading Room (October 2005).

• Cryptanalysis of RSA: A Survey Carlos Cid

  SANS InfoSec Reading Room (May 2003).

• Grupos de Bieberbach Metabelianos com Quociente Derivado Finito Carlos Cid

  PhD Thesis, Universidade de Brasília - UnB, Jul 1999.