M. Rusinowitch

Publications

630

Citations

H-Index

1993

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université de Lorraine

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Université de Lorraine

M. Rusinowitch is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationInformation SecurityData MiningCryptographyVerificationData Security

Publications per year

1993–2010

Publications

Protocol insecurity with finite number of sessions is NP-complete

M. Rusinowitch, Mathieu Turuani · 2005 · 218 citations

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, M. Rusinowitch et al. · 2003 · 136 citations

Cryptographic Primitive, Engineering, Information Security +18

Implicit induction in conditional theories

Adel Bouhoula, M. Rusinowitch · Journal of Automated Reasoning · 1995 · 93 citations

Automated Reasoning, Implicit Induction, Conditional Logic +5

Protocol analysis in intrusion detection using decision tree

Tarek Abbes, Adel Bouhoula, M. Rusinowitch · 2004 · 82 citations

Engineering, Information Security, Network Analysis +16

Efficient decision tree for protocol analysis in intrusion detection

Tarek Abbes, Adel Bouhoula, M. Rusinowitch · International Journal of Security and Networks · 2010 · 32 citations

Engineering, Information Security, Efficient Decision Tree +16

Rows per page

1–5 of 8