Mathieu Turuani

发表

Charu Arora, Mathieu Turuani, 2009, Formal to Practical Security.
Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, 2017, J. Symb. Comput..
Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .
Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, 2012, MMM-ACNS.
Sebastian Mödersheim, Luca Viganò, Yannick Chevalier, 2002, CAV.
Véronique Cortier, Laurent Vigneron, Stéphanie Delaune, 2006 .
Yannick Chevalier, Michaël Rusinowitch, Ralf Küsters, 2004, ARSPA@IJCAR.
Michaël Rusinowitch, Mathieu Turuani, Najah Chridi, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Vitaly Shmatikov, John C. Mitchell, Bogdan Warinschi, 2006 .
John C. Mitchell, Michael Backes, Anupam Datta, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Vitaly Shmatikov, John C. Mitchell, Anupam Datta, 2005, ICALP.
Sebastian Mödersheim, Luca Viganò, Mathieu Turuani, 2011, Future Internet Assembly.
Vincent Cheval, Véronique Cortier, Mathieu Turuani, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Sebastian Mödersheim, Luca Viganò, Yannick Chevalier, 2005, CAV.
Véronique Cortier, Bogdan Warinschi, Mathieu Turuani, 2018, IACR Cryptol. ePrint Arch..
Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, 2010 .
Michaël Rusinowitch, Mathieu Turuani, Thomas Voegtlin, 2016, Financial Cryptography Workshops.
Ernesto Pimentel, Fabio Martinelli, Ilaria Matteucci, 2014, Engineering Secure Future Internet Services and Systems.
Michaël Rusinowitch, Mathieu Turuani, M. Rusinowitch, 2003, Theor. Comput. Sci..
Ralf Küsters, Max Tuengerthal, Mathieu Turuani, 2006, ArXiv.
John C. Mitchell, Michael Backes, Anupam Datta, 2006, Theor. Comput. Sci..
Charu Arora, Mathieu Turuani, 2006 .
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, 2011, DPM/SETOP.
Philippe Schnoebelen, Mathieu Turuani, François Laroussinie, 2000, Theor. Comput. Sci..
Mathieu Turuani, Hoan Vu-Van, 2005 .
Véronique Cortier, Mathieu Turuani, David Galindo, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).
Yannick Chevalier, Michaël Rusinowitch, Ralf Küsters, 2003, FSTTCS.
Michaël Rusinowitch, Mathieu Turuani, 2001 .
Mathieu Turuani, Michaël Rusinowitch, Najah Chridi, 2008 .
Yannick Chevalier, Michaël Rusinowitch, Ralf Küsters, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, 2010, 2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS).
Laurent Vigneron, Bao Thien Hoang, Mathieu Turuani, 2014 .
Michaël Rusinowitch, Mathieu Turuani, M. Rusinowitch, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Yannick Chevalier, Michaël Rusinowitch, Ralf Küsters, 2003, CSL.
Véronique Cortier, Laurent Vigneron, Olga Kouchnarenko, 2014 .
Philippe Schnoebelen, Mathieu Turuani, François Laroussinie, 2003, Theor. Comput. Sci..
Véronique Cortier, Jérémie Detrey, Frédéric Sur, 2011, 2011 International Workshop on Requirements Engineering for Electronic Voting Systems.
Yannick Chevalier, Michaël Rusinowitch, Ralf Küsters, 2005, Theor. Comput. Sci..
Mathieu Turuani, Michaël Rusinowitch, Najah Chridi, 2008 .
Mathieu Turuani, Mathieu Turuani, 2006, RTA.
Laurent Vigneron, Alessandro Armando, Mathieu Turuani, 2002 .