Events agenda

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

Duy-Phuc PHAM

Petri-Turing

from 09:30 to 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.

from 14:00 to 18:00

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

Romain THOMAS (Quarkslab)

Salle Pétri/Turing

from Jan 06 11:00 to Dec 06 12:00

Formal Verification of Just-in-Time Compilation

Aurèle BARRIERE (EPICURE)

PETRI-TURING

from 15:00 to 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

from 11:00 to 12:00

Cryptography in the Wild: The Security of Cryptographic Implementations

Daniel De Almeida Braga (SPICY)

Métivier

from 14:00 to 18:00

Séminaire SoSySec : Thwarting covert adversaries in FHE pipelines

Sylvain CHATEL (EPFL)

Salle Aurigny

from 11:00 to 12:00

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

Mohamed Aimen Djari

Markov

from 10:00 to 15:00

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

Sandra Scott-Hayward (Queen's University Belfast)

from 11:00 to 12:00

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

Adam KHAYAM - Equipe EPICURE

Salle METIVIER - 10h00

from 10:00 to 12:00

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

Thomas ROKICKI (SPICY)

Salle Métivier

from 14:00 to 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é

from 08:00 to 12:00