Techniques de Preuves pour les Protocoles de Sécurité
Tutelles : Centre national de la recherche scientifique, Institut national de la recherche en informatique et automatique, Université de Lorraine
Disciplines : informatique, ingenierie
📚 293 publications sur HAL open science →
Publications récentes (HAL)
Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)