José Ignacio Escribano

offensive-ai-compilation. A curated list of useful resources that cover Offensive AI.

adversarial-machine-learning. Taller de Adversarial Machine Learning

cybercamp2017. Taller Cybercamp 2017. Seguridad ofensiva y defensiva con Machine Learning

generic-anon-ake. Implementation of Generic Anonymous AKE

kyber-gake. Compiled-Kyber Group Authenticated Group Key Exchange (GAKE)

jMetro. jMetro is a desktop Java application that computes the shortest path between Metro de Madrid stations.

pq-gake-fsxy. Post-Quantum Group Authenticated Key Exchange protocol with the LibOQS library

TFG. Trabajo Fin de Grado

spake2plus. Python 3 implementation of SPAKE2+ protocol, according to RFC 9383

44733. 44733 is a web app designed to facilitate the parsing of Spanish "Loteria de Navidad" lottery numbers files.

primos-adri. A generator of Primos de Adri

ts-metro. Web app that minimizes distance between Metro de Madrid stations

distinct-colors. Vue

liboqs. C library for prototyping and experimenting with quantum-resistant cryptography

lottery. Find and check Lotería de Navidad numbers

libcrux. The formally verified crypto library for Rust

awesome-post-quantum. A curated list of resources about post-quantum cryptography

pqc-demos. Some basic PQC demos

rs-test. Rust

aws-lc-verification. This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

tools-generation-detection-synthetic-content. Compilation of the state of the art of tools, articles, forums and links of interest to generate and detect any type of synthetic content using deep learning.

awesome-differential-privacy. list of differential-privacy related repositories

Practica2_DAW. Pŕactica 2 de DAW

Practica3_DAW. Práctica 3 de DAW

Practica_CS. Práctica de CS

Practica1_DAW. Repositorio para la práctica 1 de Diseño de Aplicaciones Web

Superficies_regladas. Superficies regladas