Ramiro Martínez

Ramiro Martínez

PhD in Applied Mathematics
Cryptography Researcher

Publicaciones

Actas de congresos

Shorter Lattice-based Zero-Knowledge Proofs for the Correctness of a Shuffle

Publicado en Financial Cryptography and Data Security Workshop VOTING’21, 2021

En este artículo presentamos una nueva prueba de permutado y recifrado poscuántica basada en retículos con tamaño sublineal.

Cita recomendada: Herranz J., Martínez R., Sánchez M. (2021) Shorter Lattice-Based Zero-Knowledge Proofs for the Correctness of a Shuffle. In: Bernhard M. et al. (eds) Financial Cryptography and Data Security. FC 2021 International Workshops. FC 2021. Lecture Notes in Computer Science, vol 12676. Springer, Berlin, Heidelberg https://doi.org/10.1007/978-3-662-63958-0_27

RLWE-based Zero-Knowledge Proofs for linear and multiplicative relations

Publicado en 17th IMA International Conference on Cryptography and Coding, 2019

Presentamos pruebas de conocimiento nulo (ZKPoK) eficientes para relaciones lineales y multiplicativas entre mensajes secretos ocultos como muestras Ring Learning With Errors (RLWE).

Cita recomendada: Martínez R., Morillo P. (2019) RLWE-Based Zero-Knowledge Proofs for Linear and Multiplicative Relations. In: Albrecht M. (eds) Cryptography and Coding. IMACC 2019. Lecture Notes in Computer Science, vol 11929. Springer, Cham https://doi.org/10.1007/978-3-030-35199-1_13

Lattice-based proof of a shuffle

Publicado en Financial Cryptography and Data Security Workshop VOTING’19, 2019

En este artículo presentamos la primera prueba de permutado y recifrado poscuántica basada en el problema learning with error sobre anillos (RLWE).

Cita recomendada: Costa N., Martínez R., Morillo P. (2020) Lattice-Based Proof of a Shuffle. In: Bracciali A., Clark J., Pintore F., Rønne P., Sala M. (eds) Financial Cryptography and Data Security. FC 2019. Lecture Notes in Computer Science, vol 11599. Springer, Cham https://doi.org/10.1007/978-3-030-43725-1_23

Proof of a shuffle for lattice-based cryptography

Publicado en NordSec, 2017

En este artículo presentamos la primera prueba de permutado y realeatorizado con criptografía basada en retículos que puede ser utilizada para construir una mix-net universalmente verificable capaz de mezclar votos cifrados con un algoritmo poscuántico, consiguiendo de esta forma privacidad a largo plazo.

Cita recomendada: Costa N., Martínez R., Morillo P. (2017) Proof of a Shuffle for Lattice-Based Cryptography. In: Lipmaa H., Mitrokotsa A., Matulevičius R. (eds) Secure IT Systems. NordSec 2017. Lecture Notes in Computer Science, vol 10674. Springer, Cham http://doi.org/10.1007/978-3-319-70290-2_17

Artículos en revistas

R-LWE-Based Distributed Key Generation and Threshold Decryption

Publicado en Special Issue "Recent Advances in Security, Privacy, and Applied Cryptography", Mathematics, MDPI, 2022

Presentamos un nuevo protocolo de generación de claves distribuido y un esquema de descifrado distribuido con criptografía basada en retículos.

Cita recomendada: Alborch, F.; Martínez, R.; Morillo, P. R-LWE-Based Distributed Key Generation and Threshold Decryption. Mathematics 2022, 10, 728. https://doi.org/10.3390/math10050728

Trabajos de fin de grado y de máster

Fully post-quantum protocols for e-voting, coercion resistant cast as intended and mixing networks

Publicado en UPCommons, 2018

In this thesis we present a coercion resistant cast as intended proof and a proof of a shuffle, both completely based on lattice problems as Inhomogeneous Short Integer Solution (ISIS) and Ring Learning With Errors (RLWE)

Cita recomendada: Martínez Pinilla, Ramiro (2018, enero). Fully post-quantum protocols for e-voting. Directora: Morillo Bosch, Paz. TFM, UPC. http://hdl.handle.net/2117/113449

Protocolos para votaciones electrónicas

Publicado en UPCommons, 2017

Propuesta de protocolo para una prueba de conocimiento nulo para verificar el correcto funcionamiento de un nodo mixnet en un esquema de votación electrónica que utiliza un cifrado post-cuántico basado en retículos. Se describe las condiciones de seguridad que ha de tener la prueba y se desarrolla el protocolo.

Cita recomendada: Martínez Pinilla, Ramiro (2017, enero). Protocolos para votaciones electrónicas. Directora: Morillo Bosch, Paz. TFG, UPC. http://hdl.handle.net/2117/100476

Otros

Los sorteos que utilizan las primeras letras de los apellidos como criterio de selección son injustos

Publicado en TEMat, 2018

Este estudio pretende cuantificar las diferencias de probabilidad que se producen al seleccionar un grupo de personas mediante un sorteo en el que se obtiene una pareja de letras al azar y se asignan las plazas por orden alfabético de los apellidos.

Cita recomendada: MARTÍNEZ PINILLA, Ramiro. «Los sorteos que utilizan las primeras letras de los apellidos como criterio de selección son injustos». En: TEMat, 2 (2018), págs. 1-13. ISSN: 2530-9633. https://temat.es/articulo/2018-p1/