Our field is cryptology. Our overarching objective is to advance significantly the frontiers in
design and analysis of high-security cryptography for the future generation.
Particularly, we wish to enhance the efficiency, functi...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
PRE2018-083269
ESTRUCTURAS ALGEBRAICAS Y APLICACIONES. CODIFICACION Y CRIPT...
93K€
Cerrado
PRE2018-087018
ESTRUCTURAS ALGEBRAICAS, CODIFICACION Y CRIPTOGRAFIA
93K€
Cerrado
PRE2018-085335
ESTRUCTURAS ALGEBRAICAS Y APLICACIONES. CODIFICACION Y CRIPT...
93K€
Cerrado
PRE2020-093254
METODOS ALGEBRAICOS Y HEURISTICOS EN TEORIA DE CODIGOS Y CRI...
99K€
Cerrado
MTM2010-15167
SEGURIDAD DEMOSTRABLE: VALIDACION DE HERRAMIENTAS CRIPTOGRAF...
41K€
Cerrado
MTM2010-21580-C02-02
ALGORITMOS CRIPTOGRAFICOS CON CURVAS ELIPTICAS Y CODIGOS COR...
45K€
Cerrado
Información proyecto ALGSTRONGCRYPTO
Duración del proyecto: 63 meses
Fecha Inicio: 2017-06-23
Fecha Fin: 2022-09-30
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
Our field is cryptology. Our overarching objective is to advance significantly the frontiers in
design and analysis of high-security cryptography for the future generation.
Particularly, we wish to enhance the efficiency, functionality, and, last-but-not-least, fundamental understanding of cryptographic security against very powerful adversaries.
Our approach here is to develop completely novel methods by
deepening, strengthening and broadening the
algebraic foundations of the field.
Concretely, our lens builds on
the arithmetic codex. This is a general, abstract cryptographic primitive whose basic theory we recently developed and whose asymptotic part, which relies on algebraic geometry, enjoys crucial applications in surprising foundational results on constant communication-rate two-party cryptography. A codex is a linear (error correcting) code that, when endowing its ambient vector space just with coordinate-wise multiplication, can be viewed as simulating, up to some degree, richer arithmetical structures such as finite fields (or products thereof), or generally, finite-dimensional algebras over finite fields. Besides this degree, coordinate-localities for which simulation holds and for which it does not at all are also captured.
Our method is based on novel perspectives on codices which significantly
widen their scope and strengthen their utility. Particularly, we bring
symmetries, computational- and complexity theoretic aspects, and connections with algebraic number theory, -geometry, and -combinatorics into play in novel ways. Our applications range from public-key cryptography to secure multi-party computation.
Our proposal is subdivided into 3 interconnected modules:
(1) Algebraic- and Number Theoretical Cryptanalysis
(2) Construction of Algebraic Crypto Primitives
(3) Advanced Theory of Arithmetic Codices