M. Rusinowitch
Institut national de recherche en informatique et en automatique(FR)Centre Inria de l'Université de Lorraine(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Natural Language Processing Techniques, Advanced Authentication Protocols Security
Most-Cited Works
- → The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications(2005)1,313 cited
- → Protocol insecurity with finite number of sessions is NP-complete(2005)218 cited
- → An NP decision procedure for protocol insecurity with XOR(2003)136 cited
- → Implicit induction in conditional theories(1995)93 cited
- → Protocol analysis in intrusion detection using decision tree(2004)82 cited
- → Efficient decision tree for protocol analysis in intrusion detection(2010)32 cited
- → Automated deduction with associative-commutative operators(1995)26 cited