Publications

Reynaldo Gil-Pons, Max Ward, Loïc Miller (2022). Finding (s,d)-Hypernetworks in F-Hypergraphs is NP-Hard. In arXiv.

PDF Cite

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser (2021). Securing Workflows Using Microservices and Metagraphs. In MDPI.

PDF Cite DOI

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser (2021). Protection contre les fuites de données: un environnement micro-services sécurisé. In CoRes 2021.

PDF Cite Slides

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser (2021). De l'Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité. In AlgoTel 2021.

PDF Cite Slides

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser (2021). Verification of Cloud Security Policies. In HPSR2021.

PDF Cite Slides DOI

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser (2021). Towards Secure and Leak-Free Workflows Using Microservice Isolation. In HPSR2021.

PDF Cite Slides DOI

Loïc Miller, Cristel Pelsser (2019). A Taxonomy of Attacks Using BGP Blackholing. In ESORICS2019.

PDF Cite Slides DOI