Agenda des événements

Exploitation des signaux de canaux auxiliaires pour la classification des malwares IoT et la détection des rootkits.

Duy-Phuc PHAM

Petri-Turing

de 09:30 à 13:00

Optimisation d’un réseau dynamique et efficace en énergie servant à piloter la grille électrique

Adrien Gougeon (MYRIADS)

Amphithéâtre de l'ENS à Ker Lann, 11 Av. Robert Schuman, 35170 Bruz.

de 14:00 à 18:00

Séminaire SoSySec : DroidGuard: A Deep Dive into SafetyNet

Romain THOMAS (Quarkslab)

Salle Pétri/Turing

du 06 jan 11:00 au 06 déc 12:00

Formal Verification of Just-in-Time Compilation

Aurèle BARRIERE (EPICURE)

PETRI-TURING

de 15:00 à 18:00

Séminaire SoSySec : Not so AdHoc testing: formal methods in the standardization of the EDHOC protocol

Charlie JACOMME (INRIA Paris)

Salle Métivier

de 11:00 à 12:00

Cryptography in the Wild: The Security of Cryptographic Implementations

Daniel De Almeida Braga (SPICY)

Métivier

de 14:00 à 18:00

Séminaire SoSySec : Thwarting covert adversaries in FHE pipelines

Sylvain CHATEL (EPFL)

Salle Aurigny

de 11:00 à 12:00

Étude du potentiel des approches à base de graphe dans les blockchains

Mohamed Aimen Djari

Markov

de 10:00 à 15:00

Séminaire SoSySec : Programmable Network Security - Challenges and Opportunities

Sandra Scott-Hayward (Queen's University Belfast)

de 11:00 à 12:00

Une Méta-Approche pour Décrire des Sémantiques avec Effets et Distribuée

Adam KHAYAM - Equipe EPICURE

Salle METIVIER - 10h00

de 10:00 à 12:00

Canaux Auxiliaires dans les Navigateurs : Applications à la Sécurité et la Vie Privée

Thomas ROKICKI (SPICY)

Salle Métivier

de 14:00 à 18:00

Profiling and Vizualizing Android Malware Datasets

Tomas CONCEPCION MIRANDA / CIDRE

Salle téléTD (à côté de la bibliothèque), CentraleSupélec, campus de Rennes, avenue de la boulais, 35510 Cesson-Sévigné

de 08:00 à 12:00