Suivez toutes les actualités du GDR Sécurité Informatique.
Journées Méthodes formelles
La journée annuelle du GT Méthodes formelles pour la sécurité approche : c'est le 30 janvier au LIP6.
YACCRYTED 2020, conférence labellisée par le GDR
YACCRYPTED (Yet Another Conference on CRYPTography and Embedded Devices) est la fusion des colloques YACC (Yet Another Conference on Cryptography) et CRYPTO’PUCES. La conférence a pour but de faire un point régulier sur l'état de la recherche, et le développement des méthodes et outils utilisés en cryptographie. Elle aura lieu à Porquerolles du 11 au 15 mai 2020. La date limite pour soumettre un résumé étendu est le 16 février 2020. Site web : https://yaccrypted2020.sciencesconf.org/
La Gazette n°4 est disponible !
La quatrième édition de la Gazette est disponible.