Carlos Cid

M. Brain, C. Cid, R. Player and W. Robson

Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation

Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science

C. Cid, L. Grassi, A. Gunsing, R. Lüftenegger, C. Rechberger and M. Schofnegger

Influence of the Linear Layer on the Algebraic Degree in SP-Networks

IACR Transactions on Symmetric Cryptology

C. Cid, J. P. Indrøy and H. Raddum

FASTA – a stream cipher for fast FHE evaluation

Topics in Cryptology - CT-RSA 2022 - Cryptographers' Track at the RSA Conference 2022

H. Okada, S. Kiyomoto and C. Cid

A Comparison of GKE Protocols based on SIDH

Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021

M. Armour and C. Cid

Partition Oracles from Weak Key Forgeries

Cryptology and Network Security - 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings

M. Øygarden, P. Felke, H. Raddum and C. Cid

Cryptanalysis of the Multivariate Encryption Scheme EFLASH

RSA Conference Cryptographers' Track 2020

H. Okada, S. Kiyomoto and C. Cid

Integerwise Functional Bootstrapping on TFHE

Information Security - 23rd International Conference, {ISC} 2020, Bali, Indonesia, December 16-18, 2020, Proceedings

C. Cid, A. Hosoyamada, Y. Liu and S. M. Sim

Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings

Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings

M. R. Albrecht, C. Cid, L. Grassi, D. Khovratovich, R. Lüftenegger, C. Rechberger and M. Schofnegger

Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

Advances in Cryptology - {ASIACRYPT} 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019, Proceedings, Part {III

S. Babbage, C. Cid, N. Pramstaller and H. Raddum

An Analysis of the Hermes8 Stream Ciphers

12th Australasian Conference on Information Security and Privacy, ACISP 2007