The following pages link to Marie Duflot (Q476178):
Displaying 9 items.
- Bounding messages for free in security protocols -- extension to various security properties (Q476179) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC (Q2848422) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
- Decidability of Parameterized Probabilistic Information Flow (Q3499769) (← links)
- (Q4436055) (← links)
- (Q4791851) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
- Bounding Messages for Free in Security Protocols (Q5458850) (← links)