- Quantitative verification
- Statistical Model Checking
- Quantitative Information Flow Analysis
- Interface and contract theories
- Exploratory action ESTASYS (2014-2015)
- Sad Region Privacy (2014-2016)
- EU STREP Sensation (2012-2015)
- EU IP DANSE (2011-2015)
- BGLE SyS2Soft (2012-2015)
- Regional support CLEVER (2015)
- EU H2020 Acanto (2015-2018)
- ANR Malthy (2014-2018)
- ARTEMIS EMC2 (2014-2017)
- Chinese Collaboration on applying SMC (2015-2018)
- INRIA Microsoft project on Privacy (2015-2018)
- Marie Curie Action MEALS for collaboration with Argentina (2012-2016)
No reports of activity was found for this team.
- Regional support ESTASE (2011-2014)
- ADT Plasma (2012-2014)
- EU STREP DALI (2011-2014)
- ARTIST NOE EU support (2003-2012)
