Loïc Miller
Loïc Miller
Home
Publications
Talks
Research
Teaching
Contact
Light
Dark
Automatic
Policy modeling
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
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
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
Loïc Miller
,
Pascal Mérindol
,
Antoine Gallais
,
Cristel Pelsser
PDF
Cite
Slides
DOI
Cite
×