Marion Daubignard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CCS | StemJail: Dynamic Role Compartmentalization. | Mickal Salan, Marion Daubignard, Herv Debar |
| 2014 | CARDIS | Caml Crush: A PKCS#11 Filtering Proxy. | Ryad Benadjila, Thomas Calderon, Marion Daubignard |
| 2010 | CCS | Computational indistinguishability logic. | Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech |
| 2010 | LPAR | On the Equality of Probabilistic Terms. | Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte |
| 2008 | CCS | Towards automated proofs for asymmetric encryption schemes in the random oracle model. | Judical Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |