Marie-Laure Potet

From MaRDI portal
Person:2999321

Available identifiers

zbMath Open potet.marie-laureMaRDI QIDQ2999321

List of research outcomes





PublicationDate of PublicationType
Output-sensitive information flow analysis2024-02-06Paper
Adversarial reachability for program-level security analysis2023-11-24Paper
Model generation for quantified formulas: a taint-based approach2023-05-05Paper
Output-sensitive information flow analysis2021-03-26Paper
A formal framework for specifying and analyzing logs as electronic evidence2011-05-12Paper
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#2010-01-28Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper

Research outcomes over time

This page was built for person: Marie-Laure Potet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2999321&oldid=7012297"
Powered by MediaWiki