Recent & Upcoming Talks

2021

De l'Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité
Les processus métier multi-agents aux interactions complexes sont généralement modélisés en tant que workflows. Le propriétaire des …
Sep 22, 2021 16:30 — 17:00 La Rochelle
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Protection contre les fuites de données: un environnement micro-services sécurisé
Les fuites de données au repos sont malheureusement courantes et en augmentation, entrainant des pertes de profits pour les entreprises …
Sep 20, 2021 15:10 — 15:35 La Rochelle
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Policy Verification Using Metagraphs
Business processes can be modeled as workflows, where the owner of the data at risk interacts with contractors to realize a sequence of …
Aug 31, 2021 17:15 — 17:35 Bertinoro
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Towards Secure and Leak-Free Workflows Using Microservice Isolation
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
Jun 8, 2021 17:15 — 17:30 Paris
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
Jun 8, 2021 17:00 — 17:15 Paris
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides