Éric Jaeger

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Mildly Context Sensitive

European Languages

Top Venues

IEEE Symposium on Security and Privacy Workshops

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Éric Jaeger, Olivier Levillain
Mind Your Language(s): A Discussion about Languages and Security. IEEE Symposium on Security and Privacy Workshops (2014)
Éric Jaeger, Thérèse Hardin
Yet Another Deep Embedding of B:Extending de Bruijn Notations CoRR (2009)
Éric Jaeger, Catherine Dubois
Why Would You Trust B? CoRR (2009)
Éric Jaeger, Thérèse Hardin
A Few Remarks About Formal Development of Secure Systems CoRR (2009)
Éric Jaeger, Thérèse Hardin
A Few Remarks about Formal Development of Secure Systems. HASE (2008)
Éric Jaeger, Catherine Dubois
? LPAR (2007)