Publis

 

Publications HAL de Michael, Rusinowitch

2017

Journal articles

titre
Satisfiability of General Intruder Constraints with and without a Set Constructor
auteur
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
article
Journal of Symbolic Computation, Elsevier, 2017, 80, pp. 27-61. 〈10.1016/j.jsc.2016.07.009〉
DOI
DOI : 10.1016/j.jsc.2016.07.009
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405842/file/main.pdf BibTex
titre
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
article
Journal of Symbolic Computation, Elsevier, 2017, 80, pp.4 – 26. 〈10.1016/j.jsc.2016.07.008〉
DOI
DOI : 10.1016/j.jsc.2016.07.008
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405851/file/main.pdf BibTex

Conference papers

titre
Two-phase preference disclosure in attributed social networks
auteur
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
article
DEXA 2017 – 28th International Conference on Database and Expert Systems Applications , Aug 2017, Lyon, France. Springer, 10438, pp.249-263, LNCS. 〈10.1007/978-3-319-64468-4_19〉
DOI
DOI : 10.1007/978-3-319-64468-4_19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01649246/file/DEXA_2017_1.pdf BibTex

Directions of work or proceedings

titre
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science
auteur
Mohamed Mosbah, Michaël Rusinowitch
article
France. 2017
Accès au bibtex
BibTex

2016

Journal articles

titre
Network Structure Release under Differential Privacy
auteur
Hiep Nguyen, Abdessamad Imine, Michael Rusinowitch
article
Transactions on Data Privacy, IIIA-CSIC, 2016, 9 (3), pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01424911/file/graph-dp-tdp.pdf BibTex
titre
Detection of firewall configuration errors with updatable tree
auteur
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
article
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. 〈http://link.springer.com/journal/10207〉. 〈10.1007/s10207-015-0290-0〉
DOI
DOI : 10.1007/s10207-015-0290-0
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01320646/file/firewall.pdf BibTex
titre
One-variable context-free hedge automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
Journal of Computer and System Sciences, Elsevier, 2016, 〈10.1016/j.jcss.2016.10.006〉
DOI
DOI : 10.1016/j.jcss.2016.10.006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426626/file/CFHA-long.pdf BibTex

Conference papers

titre
Detecting Communities under Differential Privacy
auteur
Hiep Nguyen, Abdessamad Imine, Michaël Rusinowitch
article
Workshop on Privacy in the Electronic Society – WPES 206, Oct 2016, Vienna, Austria. pp.83 – 93, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01393266/file/wpes08-nguyen-non-acm.pdf BibTex
titre
Online link disclosure strategies for social networks
auteur
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
article
The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France. The 11th International Conference on Risks and Security of Internet and Systems
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01402062/file/crisis_2016_1.pdf BibTex
titre
Automated Verification of Electrum Wallet
auteur
Mathieu Turuani, Thomas Voegtlin, Michael Rusinowitch
article
3rd Workshop on Bitcoin and Blockchain Research, Feb 2016, Christ Church, Barbados
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256397/file/longversion.pdf BibTex

Directions of work or proceedings

titre
International Workshop on Security And Privacy Analytics
auteur
Rakesh Verma, Michael Rusinowitch
article
International Workshop on Security And Privacy Analytics, Mar 2016, New Orleans, United States. ACM, 2016, IWSPA ’16: Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, 978-1-4503-4077-9. 〈http://dl.acm.org/citation.cfm?id=2875475〉
Accès au bibtex
BibTex

Poster communications

titre
Analyse d’activité et exposition de la vie privée sur les médias sociaux
auteur
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Marc Rigolot, Michaël Rusinowitch
article
16ème conférence francophone sur l’Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241619/file/EGC_Younes_Abid.pdf BibTex

2015

Journal articles

titre
Model-based mutation testing from security protocols in HLPSL
auteur
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2015, pp.30. 〈10.1002/stvr.1531〉
DOI
DOI : 10.1002/stvr.1531
Accès au bibtex
BibTex
titre
Parametrized automata simulation and application to service composition
auteur
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
article
Journal of Symbolic Computation, Elsevier, 2015, pp.21
Accès au bibtex
BibTex

Conference papers

titre
Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
auteur
Tushant Jha, Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
article
FOR-MOVES 2015: FORmal MOdeling and VErification of Service-based systems, Nov 2015, Goa, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224144/file/FOR-MOVES_2015_paper_1.pdf BibTex
titre
Differentially Private Publication of Social Graphs at Linear Cost
auteur
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
article
ASONAM 2015, Aug 2015, Paris, France. 〈http://asonam.cpsc.ucalgary.ca/2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179528/file/asonam068-nguyen.pdf BibTex
titre
Anonymizing Social Graphs via Uncertainty Semantics
auteur
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
article
ASIACCS 2015 – 10th ACM Symposium on Information, Computer and Communications Security, Apr 2015, Singapour, Singapore
Accès au bibtex
BibTex

2014

Journal articles

titre
Practical access control management for distributed collaborative editors
auteur
Asma Cherif, Abdessamad Imine, Michael Rusinowitch
article
Pervasive and Mobile Computing, Elsevier, 2014, pp.62-86
Accès au bibtex
BibTex
titre
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
auteur
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (1:5), pp. 1–26. 〈10.2168/LMCS-10(1:5)2014〉
DOI
DOI : 10.2168/LMCS-10(1:5)2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00854841/file/dbctheory-LMCS2014.pdf BibTex

Conference papers

titre
A Maximum Variance Approach for Graph Anonymization
auteur
Hiep H. Nguyen, Abdessamad Imine, Michael Rusinowitch
article
The 7th International Symposium on Foundations & Practice of Security FPS’2014, Nov 2014, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092442/file/uncertain-graph-fps-final.pdf BibTex
titre
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
auteur
Walid Belkhir, Gisela Rossi, Michael Rusinowitch
article
Advances in Modal Logic, Aug 2014, Groningen, Netherlands. 10, pp.34-53, 2014, Advances in Modal Logic
Accès au bibtex
BibTex
titre
Automated Verification of Security Protocols and Services
auteur
Michaël Rusinowitch
article
Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Jul 2014, Vienna, Austria
Accès au bibtex
BibTex
titre
Model-Based Vulnerability Testing of Payment Protocol Implementations
auteur
Ghazi Maatoug, Frédéric Dadeau, Michael Rusinowitch
article
HotSpot’14 – 2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014, Apr 2014, Grenoble, France. 2014
Accès au bibtex
BibTex
titre
Enforcing Privacy in Decentralized Mobile Social Networks
auteur
Hiep H. Nguyen, Abdessamad Imine, Michael Rusinowitch
article
ESSoS Doctoral Symposium 2014, Feb 2014, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092447/file/essos-phd.pdf BibTex

2013

Journal articles

titre
Secure Collaboration for Smartphones
auteur
Abdessamad Imine, Michael Rusinowitch
article
ERCIM News, ERCIM, 2013
Accès au bibtex
BibTex

Conference papers

titre
Automated verification of security protocols and application to services
auteur
Michael Rusinowitch
article
Hanifa Boucheneb and Francesco Flammini. Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. 2013
Accès au bibtex
BibTex
titre
SVMAX: a system for secure and valid manipulation of XML data
auteur
Houari Mahfoud, Abdessamad Imine, Michael Rusinowitch
article
Bipin C. Desai and Josep-Lluis Larriba-Pey and Jorge Bernardino. IDEAS’13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ACM, 2013, 〈10.1145/2513591.2513657〉
DOI
DOI : 10.1145/2513591.2513657
Accès au bibtex
BibTex
titre
Fresh-Variable Automata for Service Composition
auteur
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
article
SYNASC 2013 -15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania. IEEE, 2013
Accès au bibtex
https://arxiv.org/pdf/1302.4205 BibTex
titre
Unranked Tree Rewriting and Effective Closures of Languages
auteur
Florent Jacquemard, Michaël Rusinowitch
article
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00852379/file/abstract.pdf BibTex
titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain. Springer, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767719/file/CFHA.pdf BibTex

Preprints, Working Papers, …

titre
Guarded Variable Automata over Infinite Alphabets
auteur
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
article
29 pages. arXiv admin note: text overlap with arXiv:1302.4205. 2013
Accès au bibtex
https://arxiv.org/pdf/1304.6297 BibTex

2012

Journal articles

titre
Unification modulo Homomorphic Encryption
auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.135–158. 〈10.1007/s10817-010-9205-y〉
DOI
DOI : 10.1007/s10817-010-9205-y
Accès au bibtex
BibTex
titre
Decidability of Equivalence of Symbolic Derivations
auteur
Yannick Chevalier, Michael Rusinowitch
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.263-292. 〈10.1007/s10817-010-9199-5〉
DOI
DOI : 10.1007/s10817-010-9199-5
Accès au bibtex
BibTex
titre
String rewriting and security analysis: an extension of a result of Book and Otto
auteur
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
article
Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2012, 16 (2–4), pp.83–98
Accès au bibtex
BibTex

Conference papers

titre
Compiling symbolic attacks to protocol implementation tests
auteur
Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch
article
Fourth International Symposium on Symbolic Computation in Software Science, Dec 2012, Tunis, Tunisia. 122, 2013, EPTCS. 〈10.4204/EPTCS.122.4〉
DOI
DOI : 10.4204/EPTCS.122.4
Accès au bibtex
BibTex
titre
Towards the Orchestration of Secured Services under Non-disclosure Policies.
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
article
Igor V. Kotenko and Victor A. Skormin. 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. Springer, 7531, pp.130-145, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33704-8_12〉
DOI
DOI : 10.1007/978-3-642-33704-8_12
Accès au bibtex
BibTex
titre
Unification modulo Synchronous Distributivity
auteur
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
article
Gramlich, B. and Miller, D. and Sattler. U. IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Jun 2012, Manchester, United Kingdom. Springer-Verlag, Berlin, Heidelberg, 7364, pp.14–29, 2012
Accès au bibtex
BibTex
titre
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
auteur
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Modersheim, David Von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigano
article
Cormac Flanagan and Barbara Konig. Tools and Algorithms for the Construction and Analysis of Systems – 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. Springer, 7214, pp.267-282, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-28756-5_19〉
DOI
DOI : 10.1007/978-3-642-28756-5_19
Accès au bibtex
BibTex
titre
Unification modulo Chaining
auteur
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
article
A.-H. Dediu and C. Martín-Vide. The 6th International Conference on Language and Automata Theory and Applications, Mar 2012, A Coruna, Spain. Springer, Berlin – Heidelberg, 7183, pp. 70–82, 2012, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Reports

titre
Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
auteur
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
article
[Research Report] RR-8017, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00719011/file/fullver.pdf BibTex

Preprints, Working Papers, …

titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michaël Rusinowitch
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00752496/file/CFHA.pdf BibTex

2011

Conference papers

titre
Distributed Orchestration of Web Services under Security Constraints
auteur
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch, Mathieu Turuani
article
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. Springer, 2012, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641321/file/setop2011_submission_20.pdf BibTex
titre
Web Services Verification and Prudent Implementation
auteur
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
article
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. Springer, 2012, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641326/file/setop2011_submission_22.pdf BibTex
titre
DeSCal — Decentralized Shared Calendar for P2P and Ad-Hoc Networks
auteur
Jagdish Prasad Achara, Abdessamad Imine, Michaël Rusinowitch
article
The 10th International Symposium on Parallel and Distributed Computing – ISPDC 2011, Jul 2011, Cluj-Napoca, Romania. IEEE, pp.223 – 231, 2011, 10th International Symposium on Parallel and Distributed Computing – ISPDC 2011. 〈10.1109/ISPDC.2011.40〉
DOI
DOI : 10.1109/ISPDC.2011.40
Accès au bibtex
BibTex
titre
Optimistic access control for distributed collaborative editors
auteur
Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
article
2011 ACM Symposium on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. ACM, pp.861-868, 2011, Proceedings of the 2011 ACM Symposium on Applied Computing. 〈http://dl.acm.org/ft_gateway.cfm?id=1982374&ftid=65264&dwn=1&CFID=154985815&CFTOKEN=77096156〉. 〈10.1145/1982185.1982374〉
DOI
DOI : 10.1145/1982185.1982374
Accès au bibtex
BibTex

Reports

titre
Unification modulo Block Chaining
auteur
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michael Rusinowitch
article
[Research Report] 2011
Accès au bibtex
BibTex

2010

Journal articles

titre
Compiling and securing cryptographic protocols
auteur
Yannick Chevalier, Michael Rusinowitch
article
Information Processing Letters, Elsevier, 2010, 110 (3), pp.116-122
Accès au bibtex
BibTex
titre
Efficient Decision Tree for Protocol Analysis in Intrusion Detection
auteur
Tarek Abbes, Adel Bouhoula, Michael Rusinowitch
article
International Journal of Security and Networks, Inderscience, 2010, 5 (4), pp.220-235. 〈10.1504/IJSN.2010.037661〉
DOI
DOI : 10.1504/IJSN.2010.037661
Accès au bibtex
BibTex
titre
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2010, 105 (1-2), pp.163–187. 〈10.3233/FI-2010-362〉
DOI
DOI : 10.3233/FI-2010-362
Accès au bibtex
BibTex
titre
Symbolic Protocol Analysis in the Union of Disjoint Intruder Theories: Combining Decision Procedures
auteur
Yannick Chevalier, Michael Rusinowitch
article
Theoretical Computer Science, Elsevier, 2010, 411 (10), pp.1261-1282. 〈10.1016/j.tcs.2009.10.022〉
DOI
DOI : 10.1016/j.tcs.2009.10.022
Accès au bibtex
BibTex

Conference papers

titre
Orchestration under Security Constraints
auteur
Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
article
Bernhard K Aichernig and Frank S. de Boer and Marcello M. Bonsangue. Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria. Springer, 6957, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642855/file/fmco.pdf BibTex
titre
XML Access Control: from XACML to Annotated Schemas
auteur
Ryma Abassi, Florent Jacquemard, Michael Rusinowitch, Sihem Guemara El Fatmi
article
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. IEEE Computer Society Press, pp.1-8, 2010, 〈http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5699810〉. 〈10.1109/COMNET.2010.5699810〉
DOI
DOI : 10.1109/COMNET.2010.5699810
Accès au bibtex
BibTex
titre
Satisfiability of General Intruder Constraints with a Set Constructor
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
article
The Fifth International Conference on Risks and Security of Internet and Systems – CRiSIS 2010, Oct 2010, Montreal, Canada. 2010
Accès au bibtex
BibTex
titre
Safe and Efficient Strategies for Updating Firewall Policies
auteur
Zeeshan Ahmed, Abdessamad Imine, Michael Rusinowitch
article
Sokratis K. Katsikas and Javier Lopez and Miguel Soriano. 7th International Conference on Trust, Privacy & Security in Digital Business – TrustBus 2010, Aug 2010, Bilbao, Spain. Springer, 6264, pp.45-57, 2010, Lecture Notes of Computer Science
Accès au bibtex
BibTex
titre
Rewrite-Based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
Kutsia, Temur and Schreiner, Wolfgang and Fernández, Maribel. 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ACM, 2010, 〈http://portal.acm.org/citation.cfm?doid=1836089.1836105〉. 〈10.1145/1836089.1836105〉
DOI
DOI : 10.1145/1836089.1836105
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578916/file/ppdp06a-jacquemard-HAL.pdf BibTex
titre
Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
article
David Basin, Peng Liu. 5th ACM Symposium on Information, Computer and Communications Security – ASIACCS 2010, Apr 2010, Beijing, China. ACM, 2010
Accès au bibtex
BibTex

Reports

titre
Satisfiability of General Intruder Constraints with and without a Set Constructor
auteur
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
article
[Research Report] RR-7276, INRIA. 2010, pp.50
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00480632/file/RR-7276.pdf BibTex

2009

Journal articles

titre
Abusing SIP authentication
auteur
Humberto Abdelnur, Tigran Avanesov, Michael Rusinowitch, Radu State
article
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00405356/file/jias-SIP.pdf BibTex

Conference papers

titre
Unification Modulo Homomorphic Encryption
auteur
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
article
Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium on Frontiers of Combining Systems – FroCoS 2009, Sep 2009, Trento, Italy. Springer, 5749, pp.100-116, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04222-5_6〉
DOI
DOI : 10.1007/978-3-642-04222-5_6
Accès au bibtex
BibTex
titre
Data Structures with Arithmetic Constraints: a Non-disjoint Combination
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium on Frontiers of Combining Systems – FroCoS’2009, Sep 2009, Trento, Italy. Springer, 5749, pp.335-350, 2009, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-642-04222-5_20〉
DOI
DOI : 10.1007/978-3-642-04222-5_20
Accès au bibtex
BibTex
titre
A Flexible Access Control Model for Distributed Collaborative Editors
auteur
Abdessamad Imine, Asma Cherif, Michael Rusinowitch
article
Willem Jonker and Milan Petkovic. 6th VLDB Workshop on Secure Data Management – SDM 2009, Aug 2009, Lyon, France. Springer, 5776, pp.89-106, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04219-5_6〉
DOI
DOI : 10.1007/978-3-642-04219-5_6
Accès au bibtex
BibTex
titre
Combinable Extensions of Abelian Groups
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Renate Schmidt. 22nd International Conference on Automated Deduction – CADE-22, Aug 2009, Montreal, Canada. Springer, 5663, pp.51-66, 2009, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-642-02959-2_4〉
DOI
DOI : 10.1007/978-3-642-02959-2_4
Accès au bibtex
BibTex
titre
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
auteur
Najah Chridi, Mathieu Turuani, Michael Rusinowitch
article
Computer Security Foundations Symposium, Jul 2009, Port Jefferson, United States. IEEE, pp.277-289, 2009, Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF’09)
Accès au bibtex
BibTex
titre
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Stefan Kowalewski and Anna Philippou. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS 2009, Mar 2009, York, United Kingdom. Springer, 5505, pp.428-442, 2009, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Reports

titre
Combinable Extensions of Abelian Groups
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
[Research Report] RR-6920, INRIA. 2009, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383041/file/RR-6920.pdf BibTex
titre
Safe and Efficient Strategies for Updating Firewall Policies
auteur
Zeeshan Ahmed, Abdessamad Imine, Michaël Rusinowitch
article
[Research Report] RR-6940, INRIA. 2009, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381778/file/RR-6940.pdf BibTex
titre
An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
auteur
Abdessamad Imine, Asma Cherif, Michaël Rusinowitch
article
[Research Report] RR-6939, INRIA. 2009, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381941/file/RR-6939.pdf BibTex
titre
Compiling and securing cryptographic protocols
auteur
Yannick Chevalier, Michael Rusinowitch
article
[Research Report] 2009, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426669/file/compil-RR.pdf BibTex
titre
Rewrite based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
[Research Report] RR-7007, INRIA. 2009, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408162/file/RR-7007.pdf BibTex
titre
Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
[Research Report] RR-6963, INRIA. 2009, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397080/file/RR-6963.pdf BibTex

2008

Journal articles

titre
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
auteur
Yannick Chevalier, Ralf Kuesters, Michael Rusinowitch, Mathieu Turuani
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2008, 9 (4), pp.Article 24. 〈10.1145/1380572.1380573〉
DOI
DOI : 10.1145/1380572.1380573
Accès au bibtex
BibTex
titre
Hierarchical combination of intruder theories
auteur
Yannick Chevalier, Michael Rusinowitch
article
Information and Computation, Elsevier, 2008, 206 (2-4), pp.352-377. 〈10.1016/j.ic.2007.07.004〉
DOI
DOI : 10.1016/j.ic.2007.07.004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329715/file/main.pdf BibTex
titre
Tree automata with equality constraints modulo equational theories
auteur
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
article
Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp.182-208. 〈10.1016/j.jlap.2007.10.006〉
DOI
DOI : 10.1016/j.jlap.2007.10.006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329693/file/JacquemardRusinowitchVigneron-JLAP.pdf BibTex

Conference papers

titre
Abusing SIP Authentication
auteur
Humberto Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State
article
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. IEEE, pp.237-242, 2008, Information Assurance and Security, 2008. ISIAS ’08. 〈10.1109/IAS.2008.29〉
DOI
DOI : 10.1109/IAS.2008.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00326077/file/Abusing_SIP_Authentication.pdf BibTex
titre
Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
auteur
Najah Chridi, Mathieu Turuani, Michael Rusinowitch
article
Michael Hanus. 18th International Symposium on Logic-Based Program Synthesis and Transformation – LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332484/file/LOPSTR08-PostConference_Chridi-Turuani-Rusinowitch.pdf BibTex
titre
Automatic Composition of Services with Security Policies
auteur
Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
article
Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008), Jul 2008, Honolulu, United States. IEEE, pp.529-537, 2008, 〈10.1109/SERVICES-1.2008.13〉
DOI
DOI : 10.1109/SERVICES-1.2008.13
Accès au bibtex
BibTex
titre
Active Intruders with Caps
auteur
Siva Anatharaman, Hai Lin, Chris Lynch, Paliath Narendran, Michael Rusinowitch
article
FCS-ARSPA-WITS’08, Jun 2008, Pittsburgh, United States. 2008
Accès au bibtex
BibTex
titre
Closure of Hedge-Automata Languages by Hedge Rewriting
auteur
Florent Jacquemard, Michael Rusinowitch
article
A. Voronkov. 19th International Conference on Rewriting Techniques and Applications – RTA 2008, 2008, Hagenberg, Austria. Springer Berlin / Heidelberg, 5117, pp.157-171, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-70590-1_11〉
DOI
DOI : 10.1007/978-3-540-70590-1_11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329803/file/rta30.pdf BibTex
titre
An inference system for detecting firewall filtering rules anomalies
auteur
Tarek Abbes, Adel Bouhoula, Michael Rusinowitch
article
23rd Annual ACM Symposium on Applied Computing – SAC’08, 2008, Fortaleza, Brazil. ACM, pp.2122-2128, 2008
Accès au bibtex
BibTex

Reports

titre
Constraints-based Verification of Parameterized Cryptographic Protocols.
auteur
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
article
[Research Report] RR-6712, INRIA. 2008, pp.54
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336539/file/RR-6712.pdf BibTex
titre
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
[Research Report] RR-6697, INRIA. 2008, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00331735/file/RR-6697.pdf BibTex

2007

Journal articles

titre
Relating two standard notions of secrecy
auteur
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 3 (3, paper 2), pp.1-29. 〈10.2168/LMCS-3(3:2)2007〉
DOI
DOI : 10.2168/LMCS-3(3:2)2007
Accès au bibtex
BibTex

Conference papers

titre
Verifying Cryptographic Protocols with Subterms Constraints
auteur
Yannick Chevalier, Denis Lugiez, Michael Rusinowitch
article
Dershowitz, Nachum and Voronkov, Andrei. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning – LPAR 2007, Oct 2007, Yerevan, Armenia. Springer, 4790, pp.181-195, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-75560-9_15〉
DOI
DOI : 10.1007/978-3-540-75560-9_15
Accès au bibtex
BibTex
titre
Towards an Automatic Analysis of Web Service Security
auteur
Yannick Chevalier, Denis Lugiez, Michael Rusinowitch
article
Konev, Boris and Wolter, Franck. 6th International Symposium on Frontiers of Combining Systems – FroCoS’07, Sep 2007, Liverpool, United Kingdom. Springer, 4720, pp.133-147, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-74621-8_9〉
DOI
DOI : 10.1007/978-3-540-74621-8_9
Accès au bibtex
BibTex
titre
Intruders with Caps
auteur
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
article
F. Baader. Rewriting Techniques and Applications – RTA’07, Jun 2007, Paris, France. Springer-Verlag, pp.20–35, 2007, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Other publications

titre
Intruders with Caps
auteur
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
article
Rapport LIFO, RR-2007-02 (Projet PRV, Catégorie Z). Version détaillée du papier accepté au RTA’07. (Version courte apparaitra dans les actes du RT.. 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00144178/file/Lifo-RR2007-02.pdf BibTex

Reports

titre
Toward an Automatic Analysis of Web Service Security
auteur
Yannick Chevalier, Denis Lugiez, Michael Rusinowitch
article
[Research Report] RR-6341, INRIA. 2007, pp.40
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00133996/file/RR-6341.pdf BibTex

2006

Journal articles

titre
Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence
auteur
Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli
article
Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167–183. 〈10.1016/j.tcs.2005.09.066〉
DOI
DOI : 10.1016/j.tcs.2005.09.066
Accès au bibtex
BibTex

Conference papers

titre
Relating two standard notions of secrecy
auteur
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
article
Proc. of the 20th Int. Conference Computer Science Logic (CSL’06), Sep 2006, Szeged, Hungary, 2006
Accès au bibtex
BibTex
titre
Tree automata with equality constraints modulo equational theories
auteur
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
article
Ulrich Furbach and Natarajan Shankar. 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. Springer, 4130, pp.557-571, 2006, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/j354023699610786/〉. 〈10.1007/11814771_45〉
DOI
DOI : 10.1007/11814771_45
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579011/file/rr-lsv-2006-07.pdf BibTex

Directions of work or proceedings

titre
Journal of Automata, Languages and Combinatorics, Vol. 11(1)
auteur
Siva Anantharaman, Gaétan Hains, Michael Rusinowitch, Paul Gastin, John Mullins
article
Otto-von-Guericke-Universität, D-39016 Magdeburg, pp.142, 2006
Accès au bibtex
BibTex

Reports

titre
Relating two Standard Notions of Secrecy
auteur
Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch
article
[Research Report] RR-5908, INRIA. 2006, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071357/file/RR-5908.pdf BibTex

2005

Journal articles

titre
Closure properties and decision problems of dag automata
auteur
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
article
Information Processing Letters, Elsevier, 2005, 94, pp.231–240. 〈10.1016/j.ipl.2005.02.004〉
DOI
DOI : 10.1016/j.ipl.2005.02.004
Accès au bibtex
BibTex
titre
An NP Decision Procedure for Protocol Insecurity with XOR
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
article
Theoretical Computer Science, Elsevier, 2005, Theoretical Computer Science, 338 (1-3), pp.247-274
Accès au bibtex
BibTex

Conference papers

titre
Towards Synchronizing Linear Collaborative Objects with Operation Transformation
auteur
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
article
F. Wang. International Conference on Formal Techniques for Networked and Distributed Systems – FORTE 2005, Oct 2005, Taipei/Taiwan, IFIP International Federation for Information Processing 2005, 3731 (3731), pp.411-427, 2005, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000427/file/37310411.pdf BibTex
titre
A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
auteur
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
article
7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming – PPDP’05, Jul 2005, Lisbonne/Portugal, ACM press, pp.12-22, 2005
Accès au bibtex
BibTex
titre
The AVISPA Tool for the automated validation of internet security protocols and applications
auteur
Alessandro Armando, David Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David Von Oheimb, Michaël Rusinowitch, Judson Santos Santiago, Luca Vigano, Mathieu Turuani, Laurent Vigneron
article
Kousha Etessami and Sriram K. Rajamani. 17th International Conference on Computer Aided Verification – CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. Springer, 3576, pp.281-285, 2005, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000408/file/avispa-cav.pdf BibTex

Reports

titre
Combining Intruder Theories
auteur
Yannick Chevalier, Michaël Rusinowitch
article
[Research Report] RR-5495, INRIA. 2005, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070512/file/RR-5495.pdf BibTex
titre
Tree Automata with Equality Constraints Modulo Equational Theories
auteur
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
article
[Research Report] RR-5754, INRIA. 2005, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071215/file/RR-5754.pdf BibTex

2004

Journal articles

titre
Unification Modulo ACUI Plus Distributivity Axioms
auteur
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
article
Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
Accès au bibtex
BibTex
titre
Unification modulo ACUI plus Distributivity Axioms
auteur
Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
article
Journal of Automated Reasoning, Springer Verlag, 2004, 33, pp.1–28
Accès au bibtex
BibTex
titre
On the Fly Pattern Matching For Intrusion Detection with Snort
auteur
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
article
Annals of Telecommunications – annales des télécommunications, Springer, 2004, 59 (9-10), pp.941–967
Accès au bibtex
BibTex

Conference papers

titre
Deciding the Security of Protocols with Commuting Public Key Encryption.
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
article
Workshop on Automated Reasoning for Security Protocol Analysis – ARSPA’2004, Jul 2004, Cork, Ireland. 78, 11 p, 2004, Electronic Notes in Theoretical Computer Science – ENTCS
Accès au bibtex
BibTex
titre
Fast Multipattern Matching for Intrusion Detection
auteur
Tarek Abbes, Michaël Rusinowitch
article
Urs E. Gattiker. 13th Annual Conference on European Institute for Computer Anti-virus Research – EICAR’2004, May 2004, Luxemburg, Luxembourg, 22 p, 2004
Accès au bibtex
BibTex
titre
Protocol Analysis in Intrusion Detection Using Decision Tree
auteur
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
article
International Conference on Information Technology: Coding and Computing – ITCC’04, Apr 2004, Las Vegas, Nevada, USA, 1, pp.404–408, 2004
Accès au bibtex
BibTex
titre
High Performance Intrusion Detection using Traffic Classification
auteur
Tarek Abbes, Alakesh Haloi, Michaël Rusinowitch
article
International Conference on Advances in Intelligent Systems – Theory and Applications – AISTA 2004, 2004, Luxembourg, 2004
Accès au bibtex
BibTex
titre
A Decidable Analysis of Security Protocols
auteur
Michaël Rusinowitch
article
J.J. Lévy and E. Mayr and J. Mitchell. 18th IFIP World Computer Congress on Theoretical Computer Science – TCS’2004, 2004, Toulouse, France, Kluwer Academic Publishers, 1 p, 2004
Accès au bibtex
BibTex
titre
Automated Reasoning
auteur
David Basin, Michaël Rusinowitch
article
Basin, David and Rusinowitch, Michael. Second International Joint Conference on Automated Reasoning – IJCAR’2004, 2004, Cork, Irlande, Springer Verlag, 3097, XII-491 p, 2004, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Deductive Verification of Distributed Groupware Systems
auteur
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
article
Charles Rattray and Savitri Maharaj and Carron Shankland. Tenth International Conference on Algebraic Methodology and Software Technology – AMAST 2004, 2004, Stirling, Scotland, United Kingdom, Springer, 3116, pp.226-240, 2004, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Other publications

titre
How Useful are Dag Automata?
auteur
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
article
Projet PRV (du LIFO). Rapport de Recherche (LIFO). 2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00077510/file/RR2004-12.pdf BibTex

Reports

titre
Achieving Convergence with Operational Transformation in Distributed Groupware Systems
auteur
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
article
[Research Report] RR-5188, INRIA. 2004, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071398/file/RR-5188.pdf BibTex
titre
Network Traffic Classification for Intrusion Detection
auteur
Tarek Abbes, Michaël Rusinowitch, Alakesh Haloi
article
[Research Report] RR-5230, INRIA. 2004, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070766/file/RR-5230.pdf BibTex

2003

Journal articles

titre
Deciding the Confluence of Ordered Term Rewrite Systems
auteur
Hubert Comon-Lundh, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2003, 4 (1), pp.33-55
Accès au bibtex
BibTex
titre
Protocol insecurity with a finite number of sessions, composed keys is NP-complete.
auteur
Michaël Rusinowitch, Mathieu Turuani
article
Theoretical Computer Science, Elsevier, 2003, Theoretical Computer Science, 1-3 (299), pp.451-475. 〈10.1016/S0304-3975(02)00490-5〉
DOI
DOI : 10.1016/S0304-3975(02)00490-5
Accès au bibtex
BibTex

Conference papers

titre
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
article
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Dec 2003, Mumbai, India, Springer, 2914, pp.124-135, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
article
M. Baaz and J. A. Makowsky. Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Aug 2003, Vienna, Austria, Springer, 2803, pp.128-141, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Filtrage Efficace Pour la Détection d’Intrusions
auteur
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
article
Conférence Francophone sur Sécurité et Architecture Réseaux (SAR’03), Jul 2003, Nancy, France, 10 p, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099496/file/A03-R-537.pdf BibTex
titre
An NP Decision Procedure for Protocol Insecurity with XOR
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
article
18th IEEE Symposium on Logic in Computer Science (LICS 2003), Jun 2003, Ottawa, Canada, IEEE Computer Society, pp.261-270, 2003
Accès au bibtex
BibTex
titre
Unification modulo ACUI plus Homomorphisms/Distributivity
auteur
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
article
Franz Baader. 2003, Springer-Verlag, pp.442–457, 2003, Lecture Notes in Artificial Intelligence – 2741
Accès au bibtex
BibTex
titre
ACID-Unification is NEXPTIME-Decidable
auteur
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
article
Branislav Rovan, Peter Vojtáš. 2003, Springer-Verlag, pp.169–178, 2003, Lecture Notes in Computer Science – 2747
Accès au bibtex
BibTex
titre
Proving Correctness of Transformation Functions in Real-Time Groupware
auteur
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
article
8th European Conference of Computer-supported Cooperative Work – ECSCW’03, 2003, Helsinki, Finland, 18 p, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107652/file/A03-R-096.pdf BibTex

Reports

titre
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
article
[Research Report] RR-4869, INRIA. 2003, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071714/file/RR-4869.pdf BibTex
titre
Computing Approximations of Linear Transition Systems
auteur
Julien Musset, Michaël Rusinowitch
article
[Research Report] RR-4774, INRIA. 2003, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071812/file/RR-4774.pdf BibTex
titre
An NP Decision Procedure for Protocol Insecurity with XOR
auteur
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
article
[Research Report] RR-4697, INRIA. 2003, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071889/file/RR-4697.pdf BibTex

2002

Journal articles

titre
Observational proofs by rewriting
auteur
Adel Bouhoula, Michaël Rusinowitch
article
Theoretical Computer Science, Elsevier, 2002, 275 (1-2), pp.675-698
Accès au bibtex
BibTex

Conference papers

titre
Analyse Automatique de Protocoles de Sécurité avec CASRUL
auteur
Mehdi Bouallagui, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
article
Sécurité et Architecture Réseaux – SAR’2002, Jul 2002, Marrackech, Maroc, Morocco. 2002
Accès au bibtex
BibTex
titre
The AVISS Security Protocol Analysis Tool
auteur
Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Moedersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Vigano, Laurent Vigneron
article
Ed Brinksma and Kim Guldstrand Larsen. 14th International Conference on Computer Aided Verification – CAV’2002, Jul 2002, Copenhaguen, Denmark, Springer, 2404, pp.349-353, 2002, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Development of Transformation Functions Assisted by a Theorem Prover
auteur
Imine Abdessamad, Pascal Molli, Gérald Oster, Michaël Rusinowitch
article
Fourth International Workshop on Collaborative Editing 2002 – ACM CSCW’2002, 2002, Nouvelle-Orléans, USA, 8 p, 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107574/file/A02-R-161.pdf BibTex

2001

Journal articles

titre
Algorithms and Reductions for Rewriting Problems
auteur
Rakesh Verma, Michaël Rusinowitch, Denis Lugiez
article
Fundamenta Informatica, 2001, 46 (3), pp.257-276
Accès au bibtex
BibTex

Conference papers

titre
Uniform Derivation of Decision Procedures by Superposition
auteur
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
article
Conference of the European Association for Computer Science Logic – CSl’2001, Sep 2001, Paris, France, 15 p, 2001
Accès au bibtex
BibTex
titre
Protocol Insecurity with Finite Number of Sessions is NP-complete
auteur
Michaël Rusinowitch, Mathieu Turuani
article
14th IEEE Computer Security Foundations Workshop, Jun 2001, Cape Breton, Nova Scotia, Canada, IEEE Computer Society, 14 p, 2001, 〈10.1109/CSFW.2001.930145〉
DOI
DOI : 10.1109/CSFW.2001.930145
Accès au bibtex
BibTex
titre
An effective fixed point calculus for deterministic systems applied to model checking
auteur
Julien Musset, Michaël Rusinowitch
article
First International Workshop on Automated Verification of Infinite-State Systems – AVIS’01, Mar 2001, Berlin, Germany, 4 p, 2001
Accès au bibtex
BibTex
titre
Incorporating Decision Procedures in Implicit Induction
auteur
Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
article
Eight International Conference on Computer Aided Systems Theory – Eurocast’2001, Feb 2001, Casa de Colon, Las Palmas de Gran Canaria, Spain, 16 p, 2001
Accès au bibtex
BibTex
titre
Uniform Derivation of Satisfiability Procedures
auteur
Michaël Rusinowitch
article
Résolution de contraintes du 1er ordre dans des structures variées, 2001, Marseille, France, 2 p, 2001
Accès au bibtex
BibTex
titre
Vérification et réécriture
auteur
Michaël Rusinowitch
article
Journées Systèmes Infinis, 2001, Paris, France, 2001
Accès au bibtex
BibTex
titre
Vérification automatique de protocoles cryptographiques avec CASRUL
auteur
Michaël Rusinowitch
article
Journées Systèmes et Logiciels Critiques, 2001, Grenoble, France, 2001
Accès au bibtex
BibTex
titre
Improved Subsumption for CLP-based Verification
auteur
Julien Musset, Michaël Rusinowitch
article
Workshop on (Constraint) Logic Programming and Software Engineering – CLPSE’2001, 2001, Paphos, Cyprus, 9 p, 2001
Accès au bibtex
BibTex
titre
Deciding insecurity for non-atomic keys
auteur
Michaël Rusinowitch, Mathieu Turuani
article
Dagstuhl Seminar on Specification and Analysis of Secure Cryptographic Protocols, 2001, Dagstuhl, Germany, 2001
Accès au bibtex
BibTex
titre
Incorporating Decision Procedures in Implicit Induction
auteur
Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
article
9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning – CALCULEMUS’2001, 2001, Sienne, Italy, 16 p, 2001
Accès au bibtex
BibTex
titre
Rewriting for Deduction and Verification
auteur
Michaël Rusinowitch
article
A. Middeldorp. International Conference on Rewriting Techniques and Applications – RTA’2001, 2001, Utrecht, The Netherlands, Springer-Verlag, 2051, pp.2, 2001, Lecture notes in Computer Science
Accès au bibtex
BibTex
titre
The practice of cryptographic protocols verification
auteur
Michaël Rusinowitch
article
CAV Workshop on Logical Aspects of Cryptographic Protocols Verification, 2001, Paris, France, 1 p, 2001, ENTCS
Accès au bibtex
BibTex

Reports

titre
Uniform Derivation of Decision Procedures by Superposition
auteur
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
article
[Research Report] RR-4151, INRIA. 2001, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072474/file/RR-4151.pdf BibTex
titre
Protocol Insecurity with Finite Number of Sessions is NP-complete
auteur
Michaël Rusinowitch, Mathieu Turuani
article
[Research Report] RR-4134, INRIA. 2001, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072492/file/RR-4134.pdf BibTex

2000

Conference papers

titre
Compiling and Verifying Security Protocols
auteur
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
article
Michel Parigot, Andrei Voronkov. International Conference on Logic Programming & Automated Reasoning – LPAR’2000, 2000, Reunion Island, France, Springer-Verlag, 1955, pp.131-160, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
The theory of total unary RPO is decidable
auteur
Paliath Narendran, Michaël Rusinowitch
article
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber. First International Conference on Computational Logic – Cl’2000, 2000, Londres, UK, Springer-Verlag, 1861, pp.660-672, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
auteur
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
article
E. Allen Emerson & A. Prasad Sistla. 12th International Conference on Computer Aided Verification – CAV’2000, 2000, Chicago, USA, Springer, 1855, pp.344-357, 2000, Lecture notes in Computer Science
Accès au bibtex
BibTex

Reports

titre
Compiling and Verifying Security Protocols
auteur
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
article
[Research Report] RR-3938, INRIA. 2000, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072712/file/RR-3938.pdf BibTex