Explora I+D+i UPV

Volver atrás Proyecto

FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS

Institut Universitari Valencià d'investigació en Intel·ligència Artificial

Imprimir
Compartir
¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución
Año de inicio

2021

Organismo financiador

AGENCIA ESTATAL DE INVESTIGACION

Tipo de proyecto

INV. COMPETITIVA PROYECTOS

Responsable científico

Escobar Román Santiago

Resumen