Michael Rusinowitch

Michael Rusinowitch

laboratoire lorrain de recherche en informatique et ses applications - Nancy / France
Others
AD Scientific Index ID: 4411762
-
person_outline Michael Rusinowitch's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200513982005
2-) Protocol insecurity with finite number of sessions is NP-completeM Rusinowitch, M TuruaniINRIA, 20013402001
3-) An NP decision procedure for protocol insecurity with XORY Chevalier, R Küsters, M Rusinowitch, M TuruaniTheoretical Computer Science 338 (1-3), 247-274, 20052592005
4-) On word problems in equational theoriesJ Hsiang, M RusinowitchAutomata, Languages and Programming: 14th International Colloquium Karlsruhe …, 19872381987
5-) Deduction with symbolic constraintsC Kirchner, H Kirchner, M RusinowitchINRIA, 19902271990