2024
Conference papers
- titre
- In-Network ACL Rules Placement using Deep Reinforcement Learning
- auteur
- Wafik Zahwa, Abdelkader Lahmadi, Michael Rusinowitch, Mondher Ayadi
- article
- 2024 IEEE International Mediterranean Conference on Communications and Networking (MeditCom), Jul 2024, Madrid, Spain. pp.341-346, ⟨10.1109/MeditCom61057.2024.10621188⟩
- DOI
- DOI : 10.1109/MeditCom61057.2024.10621188
- Accès au texte intégral et bibtex
-
2023
Conference papers
- titre
- Inferring RPO Symbol Ordering
- auteur
- Wei Du, Paliath Narendran, Michael Rusinowitch
- article
- UNIF 2023 – 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy
- Accès au texte intégral et bibtex
-
- titre
- Automated Placement of In-Network ACL Rules
- auteur
- Wafik Zahwa, Abdelkader Lahmadi, Michael Rusinowitch, Mondher Ayadi
- article
- 2023 IEEE 9th International Conference on Network Softwarization (NetSoft), Jun 2023, Madrid, Spain. pp.486-491, ⟨10.1109/NetSoft57336.2023.10175436⟩
- DOI
- DOI : 10.1109/NetSoft57336.2023.10175436
- Accès au texte intégral et bibtex
-
2022
Conference papers
- titre
- Differentially Private Friends Recommendation
- auteur
- Kamal Macwan, Abdessamad Imine, Michaël Rusinowitch
- article
- The 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa (Ontario), Canada. ⟨10.1007/978-3-031-30122-3_15⟩
- DOI
- DOI : 10.1007/978-3-031-30122-3_15
- Accès au bibtex
-
- titre
- Privacy Preserving Recommendations for Social Networks
- auteur
- Kamal Macwan, Abdessamad Imine, Michaël Rusinowitch
- article
- The 9th International Conference on Social Networks Analysis, Management and Security, Nov 2022, Milan, Italy
- Accès au bibtex
-
- titre
- Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks
- auteur
- Ahmad Abboud, Remi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula, Mondher Ayadi
- article
- NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS54207.2022.9789807⟩
- DOI
- DOI : 10.1109/NOMS54207.2022.9789807
- Accès au bibtex
-
2021
Conference papers
- titre
- FOX: Fooling with Explanations Privacy Protection with Adversarial Reactions in Social Media
- auteur
- Noreddine Belhadj-Cheikh, Abdessamad Imine, Michaël Rusinowitch
- article
- PST 2021 – 18th Annual International Conference on Privacy, Security and Trust, Dec 2021, Auckland/Virtual, New Zealand
- Accès au texte intégral et bibtex
-
- titre
- Implementing Security Protocol Monitors
- auteur
- Yannick Chevalier, Michaël Rusinowitch
- article
- SCSS 2021 – 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz/virtual, Austria. pp.22-34, ⟨10.4204/EPTCS.342.3⟩
- DOI
- DOI : 10.4204/EPTCS.342.3
- Accès au texte intégral et bibtex
-
- titre
- Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks
- auteur
- Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
- article
- 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.338-356, ⟨10.1007/978-3-030-81242-3_20⟩
- DOI
- DOI : 10.1007/978-3-030-81242-3_20
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Inferring attributes with picture metadata embeddings
- auteur
- Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
- article
- ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
- DOI
- DOI : 10.1145/3412816.3412819
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
- auteur
- Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
- article
- NCA 2020 – 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
- Accès au texte intégral et bibtex
-
- titre
- Online Attacks on Picture Owner Privacy
- auteur
- Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
- article
- DEXA 2020 – 31st International Conference on Database and Expert Systems Applications, Sep 2020, Bratislava, Slovakia. pp.33-47, ⟨10.1007/978-3-030-59051-2_3⟩
- DOI
- DOI : 10.1007/978-3-030-59051-2_3
- Accès au texte intégral et bibtex
-
- titre
- Your Age Revealed by Facebook Picture Metadata
- auteur
- Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
- article
- BBIGAP 2020 – Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩
- DOI
- DOI : 10.1007/978-3-030-55814-7_22
- Accès au bibtex
-
- titre
- You are what emojis say about your pictures
- auteur
- Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
- article
- SAC ’20 – 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩
- DOI
- DOI : 10.1145/3341105.3373943
- Accès au texte intégral et bibtex
-
- titre
- Double Mask: An efficient rule encoding for Software Defined Networking
- auteur
- Ahmad Abboud, Abdelkader Lahmadi, Michael Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Ayadi
- article
- ICIN 2020 – 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186–193
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks
- auteur
- Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
- article
- CNSM 2020 – 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey
- Accès au texte intégral et bibtex
-
2019
Conference papers
- titre
- Gender Inference for Facebook Picture Owners
- auteur
- Bizhan Alipour, Abdessamad Imine, Michaël Rusinowitch
- article
- TrustBus 2019 – 16th International Conference on Trust, Privacy and Security in Digital Business, Aug 2019, Linz, Austria. pp.145–160, ⟨10.1007/978-3-030-27813-7_10⟩
- DOI
- DOI : 10.1007/978-3-030-27813-7_10
- Accès au texte intégral et bibtex
-
- titre
- Unification modulo Lists with Reverse, Relation with Certain Word Equations
- auteur
- Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch
- article
- CADE-27 – The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1–17, ⟨10.1007/978-3-030-29436-6_1⟩
- DOI
- DOI : 10.1007/978-3-030-29436-6_1
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Minimizing Range Rules for Packet Filtering Using a Double Mask Representation
- auteur
- Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula
- article
- IFIP Networking 2019, May 2019, Varsovie, Poland
- Accès au texte intégral et bibtex
-
Reports
- titre
- Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations
- auteur
- Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michael Rusinowitch
- article
- [Research Report] LIFO, Université d’Orléans; INSA, Centre Val de Loire. 2019
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Minimizing Range Rules for Packet Filtering Using Double Mask Representation
- auteur
- Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula, Saif El Hakk Awainia, Mondher Ayadi
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Conference papers
- titre
- Online Testing of User Profile Resilience Against Inference Attacks in Social Networks
- auteur
- Younes Abid, Abdessamad Imine, Michael Rusinowitch
- article
- ADBIS 2018 – First International Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018, Sep 2018, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- Sensitive attribute prediction for social networks users
- auteur
- Younes Abid, Abdessamad Imine, Michael Rusinowitch
- article
- DARLI-AP 2018 – 2nd International workshop on Data Analytics solutions for Real-LIfe APplications, Mar 2018, Vienne, Austria
- Accès au texte intégral et bibtex
-
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, 2017, Special issue: SI: Program Verification, 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
-
- 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, 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
-
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. pp.249-263, ⟨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
-
Books
- titre
- SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science
- auteur
- Mohamed Mosbah, Michaël Rusinowitch
- article
- 2017
- Accès au bibtex
-
2016
Journal articles
- titre
- Network Structure Release under Differential Privacy
- auteur
- Hiep Nguyen, Abdessamad Imine, Michael Rusinowitch
- article
- Transactions on Data Privacy, 2016, 9 (3), pp.26. ⟨10.5555/3121413.3121415⟩
- DOI
- DOI : 10.5555/3121413.3121415
- Accès au texte intégral et bibtex
-
- titre
- Detection of firewall configuration errors with updatable tree
- auteur
- Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
- article
- International Journal of Information Security, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
- DOI
- DOI : 10.1007/s10207-015-0290-0
- Accès au texte intégral et bibtex
-
- titre
- One-variable context-free hedge automata
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- Journal of Computer and System Sciences, 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
-
Conference papers
- titre
- Detecting Communities under Differential Privacy
- auteur
- Hiep H Nguyen, Abdessamad Imine, Michaël Rusinowitch
- article
- Workshop on Privacy in the Electronic Society – WPES 206, Oct 2016, Vienna, Austria. pp.83 – 93
- Accès au texte intégral et 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
- Accès au texte intégral et 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
-
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
-
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
- Accès au bibtex
-
2015
Journal articles
- titre
- Parametrized automata simulation and application to service composition
- auteur
- Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
- article
- Journal of Symbolic Computation, 2015, 69, pp.40–60. ⟨10.1016/j.jsc.2014.09.029⟩
- DOI
- DOI : 10.1016/j.jsc.2014.09.029
- Accès au texte intégral et bibtex
-
- 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, 2015, pp.30. ⟨10.1002/stvr.1531⟩
- DOI
- DOI : 10.1002/stvr.1531
- Accès au 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
-
- titre
- Differentially Private Publication of Social Graphs at Linear Cost
- auteur
- Huu Hiep Nguyen, Abdessamad Imine, Michaël Rusinowitch
- article
- ASONAM 2015, Aug 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Anonymizing Social Graphs via Uncertainty Semantics
- auteur
- Huu Hiep 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
-
2014
Journal articles
- titre
- Practical access control management for distributed collaborative editors
- auteur
- Asma Cherif, Abdessamad Imine, Michael Rusinowitch
- article
- Pervasive and Mobile Computing, 2014, pp.62-86
- Accès au 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, 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
-
Conference papers
- titre
- A Maximum Variance Approach for Graph Anonymization
- auteur
- Huu Hiep 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
-
- 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. pp.34-53
- Accès au 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, Tudor Jebelean; Wei Li ; Dongming Wang, Jul 2014, Vienna, Austria
- Accès au 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
- Accès au bibtex
-
- titre
- Enforcing Privacy in Decentralized Mobile Social Networks
- auteur
- Huu Hiep Nguyen, Abdessamad Imine, Michael Rusinowitch
- article
- ESSoS Doctoral Symposium 2014, Feb 2014, Munich, Germany
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Secure Collaboration for Smartphones
- auteur
- Abdessamad Imine, Michael Rusinowitch
- article
- ERCIM News, 2013, 93
- Accès au bibtex
-
Conference papers
- titre
- Automated verification of security protocols and application to services
- auteur
- Michael Rusinowitch
- article
- Verification and Evaluation of Computer and Communication Systems, Alessandro Fantechi, University of Florence, Italy, Nov 2013, Florence, Italy
- Accès au bibtex
-
- titre
- SVMAX: a system for secure and valid manipulation of XML data
- auteur
- Houari Mahfoud, Abdessamad Imine, Michael Rusinowitch
- article
- IDEAS’13 Proceedings of the 17th International Database Engineering & Applications Symposium, Oct 2013, Barcelone, Spain. ⟨10.1145/2513591.2513657⟩
- DOI
- DOI : 10.1145/2513591.2513657
- Accès au 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, West University of Timisoara Department of Computer Science, Sep 2013, Timisoara, Romania
- Accès au 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Guarded Variable Automata over Infinite Alphabets
- auteur
- Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
- article
- 2013
- Accès au 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, 2012, 48 (2), pp.135-158. ⟨10.1007/s10817-010-9205-y⟩
- DOI
- DOI : 10.1007/s10817-010-9205-y
- Accès au 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, 2012, 16 (2–4), pp.83–98
- Accès au bibtex
-
- titre
- Decidability of Equivalence of Symbolic Derivations
- auteur
- Yannick Chevalier, Michael Rusinowitch
- article
- Journal of Automated Reasoning, 2012, 48 (2), pp.263-292. ⟨10.1007/s10817-010-9199-5⟩
- DOI
- DOI : 10.1007/s10817-010-9199-5
- Accès au 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, Adel Bouhoula and Tetsuo Ida and Fairouz Kamareddine, Dec 2012, Tunis, Tunisia. ⟨10.4204/EPTCS.122.4⟩
- DOI
- DOI : 10.4204/EPTCS.122.4
- Accès au bibtex
-
- titre
- Towards the Orchestration of Secured Services under Non-disclosure Policies.
- auteur
- Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
- article
- 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. pp.130-145, ⟨10.1007/978-3-642-33704-8_12⟩
- DOI
- DOI : 10.1007/978-3-642-33704-8_12
- Accès au bibtex
-
- titre
- Unification modulo Synchronous Distributivity
- auteur
- Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
- article
- IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Jun 2012, Manchester, United Kingdom. pp.14–29
- Accès au 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
- Tools and Algorithms for the Construction and Analysis of Systems – 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. pp.267-282, ⟨10.1007/978-3-642-28756-5_19⟩
- DOI
- DOI : 10.1007/978-3-642-28756-5_19
- Accès au bibtex
-
- titre
- Unification modulo Chaining
- auteur
- Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
- article
- The 6th International Conference on Language and Automata Theory and Applications, Mar 2012, A Coruna, Spain. pp. 70–82
- Accès au 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
-
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
-
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
- Accès au texte intégral et 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
- Accès au texte intégral et 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. pp.223 – 231, ⟨10.1109/ISPDC.2011.40⟩
- DOI
- DOI : 10.1109/ISPDC.2011.40
- Accès au 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. pp.861-868, ⟨10.1145/1982185.1982374⟩
- DOI
- DOI : 10.1145/1982185.1982374
- Accès au bibtex
-
Reports
- titre
- Unification modulo Block Chaining
- auteur
- Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michael Rusinowitch
- article
- [Research Report] 2011
- Accès au bibtex
-
2010
Journal articles
- titre
- Compiling and securing cryptographic protocols
- auteur
- Yannick Chevalier, Michael Rusinowitch
- article
- Information Processing Letters, 2010, 110 (3), pp.116-122. ⟨10.1016/j.ipl.2009.11.004⟩
- DOI
- DOI : 10.1016/j.ipl.2009.11.004
- Accès au bibtex
-
- titre
- Symbolic Protocol Analysis in the Union of Disjoint Intruder Theories: Combining Decision Procedures
- auteur
- Yannick Chevalier, Michael Rusinowitch
- article
- Theoretical Computer Science, 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
-
- titre
- Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
- auteur
- Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
- article
- Fundamenta Informaticae, 2010, 105 (1-2), pp.163–187. ⟨10.3233/FI-2010-362⟩
- DOI
- DOI : 10.3233/FI-2010-362
- Accès au 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, 2010, 5 (4), pp.220-235. ⟨10.1504/IJSN.2010.037661⟩
- DOI
- DOI : 10.1504/IJSN.2010.037661
- Accès au bibtex
-
Conference papers
- titre
- Orchestration under Security Constraints
- auteur
- Yannick Chevalier, Mohammed Anis Mekki, Michael Rusinowitch
- article
- Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria
- Accès au texte intégral et 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. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
- DOI
- DOI : 10.1109/COMNET.2010.5699810
- Accès au 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
- Accès au bibtex
-
- titre
- Safe and Efficient Strategies for Updating Firewall Policies
- auteur
- Zeeshan Ahmed, Abdessamad Imine, Michael Rusinowitch
- article
- 7th International Conference on Trust, Privacy & Security in Digital Business – TrustBus 2010, Aug 2010, Bilbao, Spain. pp.45-57
- Accès au bibtex
-
- titre
- Rewrite-Based Verification of XML Updates
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
- DOI
- DOI : 10.1145/1836089.1836105
- Accès au texte intégral et bibtex
-
- titre
- Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
- auteur
- Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
- article
- 5th ACM Symposium on Information, Computer and Communications Security – ASIACCS 2010, Apr 2010, Beijing, China
- Accès au 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 : Institut national de recherche en sciences et technologies du numérique. 2010, 48p
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Abusing SIP authentication
- auteur
- Humberto Abdelnur, Tigran Avanesov, Michael Rusinowitch, Radu State
- article
- Journal of Information Assurance and Security, 2009, Special Issue on Access Control and Protcols, 4 (4), pp.311-318
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Data Structures with Arithmetic Constraints: a Non-disjoint Combination
- auteur
- Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
- article
- 7th International Symposium on Frontiers of Combining Systems – FroCoS’2009, Sep 2009, Trento, Italy. pp.335-350, ⟨10.1007/978-3-642-04222-5_20⟩
- DOI
- DOI : 10.1007/978-3-642-04222-5_20
- Accès au bibtex
-
- titre
- Unification Modulo Homomorphic Encryption
- auteur
- Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch
- article
- 7th International Symposium on Frontiers of Combining Systems – FroCoS 2009, Sep 2009, Trento, Italy. pp.100-116, ⟨10.1007/978-3-642-04222-5_6⟩
- DOI
- DOI : 10.1007/978-3-642-04222-5_6
- Accès au bibtex
-
- titre
- A Flexible Access Control Model for Distributed Collaborative Editors
- auteur
- Abdessamad Imine, Asma Cherif, Michael Rusinowitch
- article
- 6th VLDB Workshop on Secure Data Management – SDM 2009, Aug 2009, Lyon, France. pp.89-106, ⟨10.1007/978-3-642-04219-5_6⟩
- DOI
- DOI : 10.1007/978-3-642-04219-5_6
- Accès au bibtex
-
- titre
- Combinable Extensions of Abelian Groups
- auteur
- Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
- article
- 22nd International Conference on Automated Deduction – CADE-22, Aug 2009, Montreal, Canada. pp.51-66, ⟨10.1007/978-3-642-02959-2_4⟩
- DOI
- DOI : 10.1007/978-3-642-02959-2_4
- Accès au 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. pp.277-289
- Accès au bibtex
-
- titre
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
- auteur
- Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
- article
- 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS 2009, Mar 2009, York, United Kingdom. pp.428-442
- Accès au bibtex
-
Reports
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
2008
Journal articles
- titre
- Tree automata with equality constraints modulo equational theories
- auteur
- Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
- article
- Journal of Logic and Algebraic Programming, 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
-
- 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, 2008, 9 (4), pp.Article 24. ⟨10.1145/1380572.1380573⟩
- DOI
- DOI : 10.1145/1380572.1380573
- Accès au bibtex
-
- titre
- Hierarchical combination of intruder theories
- auteur
- Yannick Chevalier, Michael Rusinowitch
- article
- Information and Computation, 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
-
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. pp.237-242, ⟨10.1109/IAS.2008.29⟩
- DOI
- DOI : 10.1109/IAS.2008.29
- Accès au texte intégral et bibtex
-
- titre
- Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
- auteur
- Najah Chridi, Mathieu Turuani, Michael Rusinowitch
- article
- 18th International Symposium on Logic-Based Program Synthesis and Transformation – LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
- Accès au texte intégral et 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. pp.529-537, ⟨10.1109/SERVICES-1.2008.13⟩
- DOI
- DOI : 10.1109/SERVICES-1.2008.13
- Accès au 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
- Accès au 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. pp.2122-2128
- Accès au bibtex
-
- titre
- Closure of Hedge-Automata Languages by Hedge Rewriting
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- 19th International Conference on Rewriting Techniques and Applications – RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨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
-
Reports
- 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
-
- 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
-
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, 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
-
Conference papers
- titre
- Verifying Cryptographic Protocols with Subterms Constraints
- auteur
- Yannick Chevalier, Denis Lugiez, Michael Rusinowitch
- article
- 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning – LPAR 2007, Oct 2007, Yerevan, Armenia. pp.181-195, ⟨10.1007/978-3-540-75560-9_15⟩
- DOI
- DOI : 10.1007/978-3-540-75560-9_15
- Accès au bibtex
-
- titre
- Towards an Automatic Analysis of Web Service Security
- auteur
- Yannick Chevalier, Denis Lugiez, Michael Rusinowitch
- article
- 6th International Symposium on Frontiers of Combining Systems – FroCoS’07, Sep 2007, Liverpool, United Kingdom. pp.133-147, ⟨10.1007/978-3-540-74621-8_9⟩
- DOI
- DOI : 10.1007/978-3-540-74621-8_9
- Accès au bibtex
-
- titre
- Intruders with Caps
- auteur
- Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
- article
- Rewriting Techniques and Applications – RTA’07, Jun 2007, Paris, France. pp.20–35
- Accès au bibtex
-
Other publications
- titre
- Intruders with Caps
- auteur
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
- article
- 2007
- Accès au texte intégral et 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
-
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, 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
-
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
- Accès au bibtex
-
- titre
- Tree automata with equality constraints modulo equational theories
- auteur
- Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
- article
- 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩
- DOI
- DOI : 10.1007/11814771_45
- Accès au texte intégral et bibtex
-
Books
- 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
-
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
-
2005
Journal articles
- 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, 2005, Theoretical Computer Science, 338 (1-3), pp.247-274. ⟨10.1016/j.tcs.2005.01.015⟩
- DOI
- DOI : 10.1016/j.tcs.2005.01.015
- Accès au bibtex
-
- titre
- Closure properties and decision problems of dag automata
- auteur
- Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
- article
- Information Processing Letters, 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
-
Conference papers
- titre
- Towards Synchronizing Linear Collaborative Objects with Operation Transformation
- auteur
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
- article
- International Conference on Formal Techniques for Networked and Distributed Systems – FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
- Accès au texte intégral et 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, pp.12-22
- Accès au 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
- 17th International Conference on Computer Aided Verification – CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
- Accès au texte intégral et 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
-
- 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
-
2004
Journal articles
- titre
- Unification modulo ACUI plus Distributivity Axioms
- auteur
- Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
- article
- Journal of Automated Reasoning, 2004, 33, pp.1–28
- Accès au 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, 2004, 59 (9-10), pp.941–967. ⟨10.1007/BF03179710⟩
- DOI
- DOI : 10.1007/BF03179710
- Accès au bibtex
-
- titre
- Unification Modulo ACUI Plus Distributivity Axioms
- auteur
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
- article
- Journal of Automated Reasoning, 2004, 33, pp.1-28. ⟨10.1007/s10817-004-2279-7⟩
- DOI
- DOI : 10.1007/s10817-004-2279-7
- Accès au 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. 11 p
- Accès au bibtex
-
- titre
- Fast Multipattern Matching for Intrusion Detection
- auteur
- Tarek Abbes, Michaël Rusinowitch
- article
- 13th Annual Conference on European Institute for Computer Anti-virus Research – EICAR’2004, May 2004, Luxemburg, Luxembourg, 22 p
- Accès au 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, pp.404–408
- Accès au 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
- Accès au bibtex
-
- titre
- A Decidable Analysis of Security Protocols
- auteur
- Michaël Rusinowitch
- article
- 18th IFIP World Computer Congress on Theoretical Computer Science – TCS’2004, 2004, Toulouse, France, 1 p
- Accès au bibtex
-
- titre
- Automated Reasoning
- auteur
- David Basin, Michaël Rusinowitch
- article
- Second International Joint Conference on Automated Reasoning – IJCAR’2004, 2004, Cork, Irlande, France. XII-491 p
- Accès au bibtex
-
- titre
- Deductive Verification of Distributed Groupware Systems
- auteur
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
- article
- Tenth International Conference on Algebraic Methodology and Software Technology – AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240
- Accès au bibtex
-
Other publications
- titre
- How Useful are Dag Automata?
- auteur
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
- article
- 2004
- Accès au texte intégral et bibtex
-
Reports
- 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
-
- 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
-
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, 2003, 4 (1), pp.33-55. ⟨10.1145/601775.601777⟩
- DOI
- DOI : 10.1145/601775.601777
- Accès au 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, 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
-
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, pp.124-135
- Accès au 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
- 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, pp.128-141
- Accès au 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
- Accès au texte intégral et 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, pp.261-270
- Accès au 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
- Accès au texte intégral et bibtex
-
- titre
- ACID-Unification is NEXPTIME-Decidable
- auteur
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
- article
- 2003, pp.169–178
- Accès au bibtex
-
- titre
- Unification modulo ACUI plus Homomorphisms/Distributivity
- auteur
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
- article
- 2003, pp.442–457
- Accès au 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
-
- 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
-
- 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
-
2002
Journal articles
- titre
- Observational proofs by rewriting
- auteur
- Adel Bouhoula, Michaël Rusinowitch
- article
- Theoretical Computer Science, 2002, 275 (1-2), pp.675-698. ⟨10.1016/S0304-3975(01)00333-4⟩
- DOI
- DOI : 10.1016/S0304-3975(01)00333-4
- Accès au 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
- Accès au 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
- 14th International Conference on Computer Aided Verification – CAV’2002, Jul 2002, Copenhaguen, Denmark, pp.349-353
- Accès au 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
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- Algorithms and Reductions for Rewriting Problems
- auteur
- Rakesh Verma, Michaël Rusinowitch, Denis Lugiez
- article
- Fundamenta Informaticae, 2001, 46 (3), pp.257-276
- Accès au 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
- Accès au 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, 14 p, ⟨10.1109/CSFW.2001.930145⟩
- DOI
- DOI : 10.1109/CSFW.2001.930145
- Accès au 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
- Accès au 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
- Accès au bibtex
-
- titre
- Rewriting for Deduction and Verification
- auteur
- Michaël Rusinowitch
- article
- International Conference on Rewriting Techniques and Applications – RTA’2001, 2001, Utrecht, The Netherlands, pp.2
- Accès au 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
- Accès au 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, Gopal Gupta, 2001, Paphos, Cyprus, 9 p
- Accès au bibtex
-
- titre
- Uniform Derivation of Satisfiability Procedures
- auteur
- Michaël Rusinowitch
- article
- Résolution de contraintes du 1er ordre dans des structures variées, A. Colmerauer, 2001, Marseille, France, 2 p
- Accès au bibtex
-
- titre
- Vérification et réécriture
- auteur
- Michaël Rusinowitch
- article
- Journées Systèmes Infinis, A. Bouajjani, 2001, Paris, France
- Accès au 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, D. Basin (Freiburg), G. Denker (SRI, Menlo Park), G. Lowe (Leicester), J. Millen (SRI Menlo Park), 2001, Dagstuhl, Germany
- Accès au 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
- Accès au 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
- Accès au bibtex
-
Reports
- 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
-
- 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
-
2000
Conference papers
- titre
- Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
- auteur
- Michaël Rusinowitch, Sorin Stratulat, Francis Klay
- article
- 12th International Conference on Computer Aided Verification – CAV’2000, 2000, Chicago, USA, pp.344-357
- Accès au bibtex
-
- titre
- Compiling and Verifying Security Protocols
- auteur
- Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
- article
- International Conference on Logic Programming & Automated Reasoning – LPAR’2000, 2000, Reunion Island, France, pp.131-160
- Accès au bibtex
-
- titre
- The theory of total unary RPO is decidable
- auteur
- Paliath Narendran, Michaël Rusinowitch
- article
- First International Conference on Computational Logic – Cl’2000, 2000, Londres, UK, pp.660-672
- Accès au 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
-
