Accéder directement au contenu

Antoine Gallais

5
Documents

Publications

981390

Towards Secure and Leak-Free Workflows Using Microservice Isolation

Loïc Miller , Pascal Merindol , Antoine Gallais , Cristel Pelsser
IEEE International Conference on High Perfor- mance Switching and Routing Conference (HPSR), 2021, Paris, France
Communication dans un congrès hal-03241734v1

Verification of Cloud Security Policies

Loïc Miller , Pascal Merindol , Antoine Gallais , Cristel Pelsser
IEEE International Conference on High Performance Switching and Routing Conference (HPSR), Jun 2021, Paris, France
Communication dans un congrès hal-03238123v1

Protection contre les fuites de données : un environnement micro-services sécurisé

Loïc Miller , Pascal Merindol , Antoine Gallais , Cristel Pelsser
6ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’EXpérimentation des Réseaux de Communication, La Rochelle, France, May 31-June 1, 2021, 2021, La Rochelle, France
Communication dans un congrès hal-03243958v1

De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité

Loïc Miller , Pascal Merindol , Antoine Gallais , Cristel Pelsser
Rencontres Francophones les aspects algorithmiques des télécommunications AlgoTel’, 2021, La Rochelle, France
Communication dans un congrès hal-03243986v1