Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Turuani, Mathieu - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Université Henri Poincaré -Nancy-Université
TURUANI Mathieu PhD Student in the CASSIS team, LORIA-INRIA research center.
Protocol Insecurity with Finite Number of Sessions is NPcomplete Michal Rusinowitch and Mathieu Turuani
Protocol Insecurity with a Finite Number of Sessions and Composed Keys is NP-complete
Deciding the Security of Protocols with Di#eHellman Exponentiation and
Deciding the Security of Protocols with Commuting Public Key Encryption
Extending the DolevYao Intruder for Analyzing an Unbounded Number of Sessions #
An NP Decision Procedure for Protocol Insecurity with XOR Yannick Chevalier
ISSN0249-6399 de recherche
On the Expressivity and Complexity of Quantitative Branching-Time Temporal
Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine Securite des protocoles
Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine Securite des protocoles
