Michaël Rusinowitch

198 papers A* 12A 14B 23C 10Misc 8Journal 65Unranked 60

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Deep Reinforcement Learning for In-Network Placement of ACL Rules Under Constraints. CNSM Wafik Zahwa, Abdelkader Lahmadi, Michaël Rusinowitch, Mondher Ayadi
2024	—	`conf`	In-Network ACL Rules Placement using Deep Reinforcement Learning. MeditCom Wafik Zahwa, Abdelkader Lahmadi, Michaël Rusinowitch, Mondher Ayadi
2023	B	`conf`	Automated Placement of In-Network ACL Rules. NetSoft Wafik Zahwa, Abdelkader Lahmadi, Michaël Rusinowitch, Mondher Ayadi
2022	B	`conf`	Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. NOMS Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula, Mondher Ayadi
2022	Misc	`conf`	Deciding Whether two Codes Have the Same Ambiguities is in co-NP. SYNASC Yannick Chevalier, Michaël Rusinowitch
2022	—	`conf`	Differentially Private Friends Recommendation. FPS Kamalkumar Macwan, Abdessamad Imine, Michaël Rusinowitch
2022	—	`conf`	Privacy Preserving Recommendations for Social Networks. SNAMS Kamalkumar Macwan, Abdessamad Imine, Michaël Rusinowitch
2021	B	`conf`	Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks. DBSec Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
2021	C	`conf`	FOX: Fooling with Explanations : Privacy Protection with Adversarial Reactions in Social Media. PST Noreddine Belhadj Cheikh, Abdessamad Imine, Michaël Rusinowitch
2021	—	`conf`	Implementing Security Protocol Monitors. SCSS Yannick Chevalier, Michaël Rusinowitch
2020	Misc	`conf`	Double Mask: An Efficient Rule Encoding for Software Defined Networking. ICIN Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Avadi
2020	B	`conf`	Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. NCA Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
2020	—	`conf`	Online Attacks on Picture Owner Privacy. DEXA (2) Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
2020	B	`conf`	R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. CNSM Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
2020	Misc	`conf`	You are what emojis say about your pictures: language-independent gender inference attack on Facebook. SAC Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
2020	—	`conf`	Your Age Revealed by Facebook Picture Metadata. ADBIS/TPDL/EDA Workshops Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
2019	B	`conf`	Gender Inference for Facebook Picture Owners. TrustBus Bizhan Alipour, Abdessamad Imine, Michaël Rusinowitch
2019	J	`jnl`	One-variable context-free hedge automata. J. Comput. Syst. Sci. Florent Jacquemard, Michaël Rusinowitch
2019	B	`conf`	Poster : Minimizing range rules for packet filtering using a double mask representation. Networking Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula
2019	A	`conf`	Unification Modulo Lists with Reverse Relation with Certain Word Equations. CADE Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch
2018	—	`conf`	Online Testing of User Profile Resilience Against Inference Attacks in Social Networks. ADBIS (Short Papers and Workshops) Younes Abid, Abdessamad Imine, Michaël Rusinowitch
2018	—	`conf`	Sensitive Attribute Prediction for Social Networks Users. EDBT/ICDT Workshops Younes Abid, Abdessamad Imine, Michaël Rusinowitch
2017	J	`jnl`	Intruder deducibility constraints with negation. Decidability and application to secured service compositions. J. Symb. Comput. Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2017	—	`ed.`	SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia SCSS Mohamed Mosbah, Michaël Rusinowitch
2017	J	`jnl`	Satisfiability of general intruder constraints with and without a set constructor. J. Symb. Comput. Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2017	—	`conf`	Two-Phase Preference Disclosure in Attributed Social Networks. DEXA (1) Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
2016	—	`conf`	A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
2016	—	`conf`	Analyse d'activité et exposition de la vie privée sur les médias sociaux. EGC Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Marc Rigolot, Michaël Rusinowitch
2016	—	`conf`	Automated Verification of Electrum Wallet. Financial Cryptography Workshops Mathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch
2016	—	`conf`	Detecting Communities under Differential Privacy. WPES@CCS Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2016	J	`jnl`	Detecting Communities under Differential Privacy. CoRR Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2016	J	`jnl`	Detection of firewall configuration errors with updatable tree. Int. J. Inf. Sec. Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2016	J	`jnl`	Network Structure Release under Differential Privacy. Trans. Data Priv. Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2016	C	`conf`	Online Link Disclosure Strategies for Social Networks. CRiSIS Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
2016	J	`jnl`	Private Link Exchange over Social Graphs. CoRR Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2016	—	`ed.`	Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, IWSPA@CODASPY 2016, New Orleans, LA, USA, March 11, 2016 IWSPA@CODASPY Rakesh M. Verma, Michaël Rusinowitch
2015	A	`conf`	Anonymizing Social Graphs via Uncertainty Semantics. AsiaCCS Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2015	B	`conf`	Differentially Private Publication of Social Graphs at Linear Cost. ASONAM Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2015	—	`conf`	Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. ICSOC Workshops Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2015	J	`jnl`	Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
2015	J	`jnl`	Parametrized automata simulation and application to service composition. J. Symb. Comput. Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2014	—	`conf`	A Maximum Variance Approach for Graph Anonymization. FPS Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2014	B	`conf`	A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. Advances in Modal Logic Walid Belkhir, Gisela Rossi, Michaël Rusinowitch
2014	—	`conf`	An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. ICSOC Workshops Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2014	J	`jnl`	Anonymizing Social Graphs via Uncertainty Semantics. CoRR Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2014	—	`conf`	Enforcing Privacy in Decentralized Mobile Social Networks. ESSoS Doctoral Symposium Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
2014	J	`jnl`	Practical access control management for distributed collaborative editors. Pervasive Mob. Comput. Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
2014	J	`jnl`	Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Log. Methods Comput. Sci. Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
2013	J	`jnl`	Fresh-Variable Automata for Service Composition CoRR Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2013	Misc	`conf`	Fresh-Variable Automata: Application to Service Composition. SYNASC Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2013	J	`jnl`	Guarded Variable Automata over Infinite Alphabets CoRR Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2013	C	`conf`	Rewrite Closure and CF Hedge Automata. LATA Florent Jacquemard, Michaël Rusinowitch
2013	J	`jnl`	Secure Collaboration for Smartphones. ERCIM News Abdessamad Imine, Michaël Rusinowitch
2012	—	`conf`	Compiling symbolic attacks to protocol implementation tests. SCSS Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch
2012	J	`jnl`	Decidability of Equivalence of Symbolic Derivations. J. Autom. Reason. Yannick Chevalier, Michaël Rusinowitch
2012	J	`jnl`	Intruder deducibility constraints with negation. Decidability and application to secured service compositions CoRR Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2012	J	`jnl`	Rewrite Closure and CF Hedge Automata CoRR Florent Jacquemard, Michaël Rusinowitch
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
2012	—	`conf`	Towards the Orchestration of Secured Services under Non-disclosure Policies. MMM-ACNS Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2012	C	`conf`	Unification Modulo Chaining. LATA Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
2012	J	`jnl`	Unification Modulo Homomorphic Encryption. J. Autom. Reason. Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2012	A	`conf`	Unification Modulo Synchronous Distributivity. IJCAR Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2011	C	`conf`	DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks. ISPDC Jagdish Prasad Achara, Abdessamad Imine, Michaël Rusinowitch
2011	—	`conf`	Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
2011	Misc	`conf`	Optimistic access control for distributed collaborative editors. SAC Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
2011	J	`jnl`	Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2011	J	`jnl`	String Rewriting and Security Analysis: An Extension of a Result of Book and Otto. J. Autom. Lang. Comb. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2011	—	`ch.`	Verifying a bounded number of sessions and its complexity. Formal Models and Techniques for Analyzing Security Protocols Michaël Rusinowitch, Mathieu Turuani
2011	—	`conf`	Web Services Verification and Prudent Implementation. DPM/SETOP Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2010	A	`conf`	Cap unification: application to protocol security modulo homomorphic encryption. AsiaCCS Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2010	J	`jnl`	Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. Fundam. Informaticae Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2010	J	`jnl`	Compiling and securing cryptographic protocols. Inf. Process. Lett. Yannick Chevalier, Michaël Rusinowitch
2010	J	`jnl`	Efficient decision tree for protocol analysis in intrusion detection. Int. J. Secur. Networks Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2010	—	`conf`	Orchestration under Security Constraints. FMCO Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2010	C	`conf`	Rewrite-based verification of XML updates. PPDP Florent Jacquemard, Michaël Rusinowitch
2010	B	`conf`	Safe and Efficient Strategies for Updating Firewall Policies. TrustBus Zeeshan Ahmed, Abdessamad Imine, Michaël Rusinowitch
2010	C	`conf`	Satisfiability of general intruder constraints with a set constructor. CRiSIS Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2010	J	`jnl`	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures. Theor. Comput. Sci. Yannick Chevalier, Michaël Rusinowitch
2009	—	`conf`	A Flexible Access Control Model for Distributed Collaborative Editors. Secure Data Management Abdessamad Imine, Asma Cherif, Michaël Rusinowitch
2009	A	`conf`	Combinable Extensions of Abelian Groups. CADE Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	J	`jnl`	Compiling and securing cryptographic protocols CoRR Yannick Chevalier, Michaël Rusinowitch
2009	—	`conf`	Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCoS Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	A	`conf`	Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. CSF Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
2009	J	`jnl`	Rewrite based Verification of XML Updates CoRR Florent Jacquemard, Michaël Rusinowitch
2009	A	`conf`	Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	—	`conf`	Unification Modulo Homomorphic Encryption. FroCoS Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2008	—	`conf`	08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	—	`conf`	08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	C	`conf`	Abusing SIP Authentication. IAS Humberto J. Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State
2008	Misc	`conf`	An inference system for detecting firewall filtering rules anomalies. SAC Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2008	—	`conf`	Automatic Composition of Services with Security Policies. SERVICES I Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2008	—	`ed.`	Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008 Beyond the Finite: New Challenges in Verification and Semistructured Data Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
2008	—	`conf`	Closure of Hedge-Automata Languages by Hedge Rewriting. RTA Florent Jacquemard, Michaël Rusinowitch
2008	J	`jnl`	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2008	J	`jnl`	Hierarchical combination of intruder theories. Inf. Comput. Yannick Chevalier, Michaël Rusinowitch
2008	J	`jnl`	Tree automata with equality constraints modulo equational theories. J. Log. Algebraic Methods Program. Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2008	—	`conf`	Unification modulo Homomorphic Encryption is Decidable. UNIF Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
2007	—	`conf`	A Traffic Classification Algorithm for Intrusion Detection. AINA Workshops (1) Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2007	—	`conf`	Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. Rewriting, Computation and Proof Abdessamad Imine, Michaël Rusinowitch
2007	—	`conf`	Intruders with Caps. RTA Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2007	J	`jnl`	Relating two standard notions of secrecy CoRR Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
2007	J	`jnl`	Relating two standard notions of secrecy. Log. Methods Comput. Sci. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
2007	—	`conf`	Towards an Automatic Analysis of Web Service Security. FroCoS Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
2007	B	`conf`	Verifying Cryptographic Protocols with Subterms Constraints. LPAR Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
2006	J	`jnl`	Automated Reasoning for Security Protocol Analysis. J. Autom. Reason. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
2006	J	`jnl`	Editorial. J. Autom. Lang. Comb. Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch
2006	J	`jnl`	Formal design and verification of operational transformation algorithms for copies convergence. Theor. Comput. Sci. Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli
2006	—	`conf`	Hierarchical Combination of Intruder Theories. RTA Yannick Chevalier, Michaël Rusinowitch
2006	B	`conf`	Relating Two Standard Notions of Secrecy. CSL Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
2006	—	`conf`	Relating two standard notions of secrecy. Trustworthy Software Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch
2006	A	`conf`	Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2005	C	`conf`	A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. PPDP Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
2005	J	`jnl`	An NP decision procedure for protocol insecurity with XOR. Theor. Comput. Sci. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2005	J	`jnl`	Closure properties and decision problems of dag automata. Inf. Process. Lett. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2005	A*	`conf`	Combining Intruder Theories. ICALP Yannick Chevalier, Michaël Rusinowitch
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2005	C	`conf`	Towards Synchronizing Linear Collaborative Objects with Operational Transformation. FORTE Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
2004	J	`jnl`	2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. Theory Comput. Syst. Georg Gottlob, Miki Hermann, Michaël Rusinowitch
2004	—	`conf`	A Decidable Analysis of Security Protocols. IFIP TCS Michaël Rusinowitch
2004	A	`ed.`	Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings IJCAR David A. Basin, Michaël Rusinowitch
2004	—	`conf`	Deciding the Security of Protocols with Commuting Public Key Encryption. ARSPA@IJCAR Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2004	—	`conf`	Deductive Verification of Distributed Groupware Systems. AMAST Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
2004	J	`jnl`	On the fly pattern matching for intrusion detection with Snort. Ann. des Télécommunications Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2004	—	`conf`	Protocol Analysis in Intrusion Detection Using Decision Tree. ITCC (1) Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2004	J	`jnl`	Unification Modulo J. Autom. Reason. Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2004	J	`jnl`	Éditorial. Tech. Sci. Informatiques Michaël Rusinowitch
2003	J	`jnl`	A rewriting approach to satisfiability procedures. Inf. Comput. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2003	B	`conf`	ACID-Unification Is NEXPTIME-Decidable. MFCS Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2003	A*	`conf`	An NP Decision Procedure for Protocol Insecurity with XOR. LICS Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003	—	`conf`	Automated analysis of security protocols. WFLP Michaël Rusinowitch
2003	—	`conf`	Computing Meta-transitions for Linear Transition Systems with Polynomials. FME Julien Musset, Michaël Rusinowitch
2003	—	`conf`	Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FSTTCS Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003	J	`jnl`	Deciding the confluence of ordered term rewrite systems. ACM Trans. Comput. Log. Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch
2003	B	`conf`	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
2003	J	`jnl`	Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. J. Autom. Reason. Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2003	J	`jnl`	Protocol insecurity with a finite number of sessions, composed keys is NP-complete. Theor. Comput. Sci. Michaël Rusinowitch, Mathieu Turuani
2003	B	`conf`	Proving Correctness of Transformation Functions in Real-Time Groupware. ECSCW Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch
2003	A	`conf`	Unification Modulo ACU I Plus Homomorphisms/Distributivity. CADE Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
2002	J	`jnl`	Guest Editorial. Inf. Comput. Paliath Narendran, Michaël Rusinowitch
2002	J	`jnl`	Incorporating Decision Procedures in Implicit Induction. J. Symb. Comput. Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
2002	J	`jnl`	Observational proofs by rewriting. Theor. Comput. Sci. Adel Bouhoula, Michaël Rusinowitch
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	J	`jnl`	Algorithms and Reductions for Rewriting Problems. Fundam. Informaticae Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
2001	—	`conf`	Protocol Insecurity with Finite Number of Sessions is NP-Complete. CSFW Michaël Rusinowitch, Mathieu Turuani
2001	—	`conf`	Rewriting for Deduction and Verification. RTA Michaël Rusinowitch
2001	—	`conf`	The practice of cryptographic protocol verification. LACPV@CAV Michaël Rusinowitch
2001	B	`conf`	Uniform Derivation of Decision Procedures by Superposition. CSL Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2000	B	`conf`	Compiling and Verifying Security Protocols. LPAR Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2000	A*	`conf`	Mechanical Verification of an Ideal Incremental CAV Michaël Rusinowitch, Sorin Stratulat, Francis Klay
2000	—	`conf`	The Theory of Total Unary RPO Is Decidable. Computational Logic Paliath Narendran, Michaël Rusinowitch
1999	—	`conf`	Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. Ershov Memorial Conference Gregory Kucherov, Michaël Rusinowitch
1999	—	`ed.`	Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings RTA Paliath Narendran, Michaël Rusinowitch
1998	—	`conf`	Algorithms and Reductions for Rewriting Problems. RTA Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
1998	A*	`conf`	Decision Problems in Ordered Rewriting. LICS Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch
1998	B	`conf`	Observational Proofs with Critical Contexts. FASE Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1998	B	`conf`	RPO Constraint Solving Is in NP. CSL Paliath Narendran, Michaël Rusinowitch, Rakesh M. Verma
1997	J	`jnl`	Matching a Set of Strings with Variable Length don't Cares. Theor. Comput. Sci. Gregory Kucherov, Michaël Rusinowitch
1996	J	`jnl`	Any Ground Associative-Commutative Theory Has a Finite Canonical System. J. Autom. Reason. Paliath Narendran, Michaël Rusinowitch
1996	A*	`conf`	Automated Verification by Induction with Associative-Commutative Operators. CAV Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1996	Misc	`conf`	Implementing non-linear constraints with cooperative solvers. SAC Éric Monfroy, Michaël Rusinowitch, René Schott
1996	—	`conf`	SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1995	J	`jnl`	Automated Mathematical Induction. J. Log. Comput. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
1995	J	`jnl`	Automated deduction with associative-commutative operators. Appl. Algebra Eng. Commun. Comput. Michaël Rusinowitch, Laurent Vigneron
1995	J	`jnl`	Implicit Induction in Conditional Theories. J. Autom. Reason. Adel Bouhoula, Michaël Rusinowitch
1995	B	`conf`	Matching a Set of Strings with Variable Length Don't Cares. CPM Gregory Kucherov, Michaël Rusinowitch
1995	J	`jnl`	Reasoning with Conditional Axioms. Ann. Math. Artif. Intell. Emmanuel Kounalis, Michaël Rusinowitch
1995	—	`conf`	SPIKE: A System for Automatic Inductive Proofs. AMAST Adel Bouhoula, Michaël Rusinowitch
1995	J	`jnl`	Undecidability of Ground Reducibility for Word Rewriting Systems with Variables. Inf. Process. Lett. Gregory Kucherov, Michaël Rusinowitch
1994	Misc	`conf`	On ground reducibility problem for word rewriting systems with variables. SAC Gregory Kucherov, Michaël Rusinowitch
1994	—	`conf`	The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. CTRS Gregory Kucherov, Michaël Rusinowitch
1993	J	`jnl`	A Logical Framework for Concept Learning with Background Knowledge. Int. J. Artif. Intell. Tools Emmanuel Kounalis, Michaël Rusinowitch
1993	A*	`conf`	Automatic Case Analysis in Proof by Induction. IJCAI Adel Bouhoula, Michaël Rusinowitch
1993	—	`ed.`	Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings CTRS Michaël Rusinowitch, Jean-Luc Rémy
1993	J	`jnl`	Preferring diagnoses by abduction. IEEE Trans. Syst. Man Cybern. Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
1993	A*	`conf`	The Unifiability Problem in Ground AC Theories LICS Paliath Narendran, Michaël Rusinowitch
1992	B	`conf`	SPIKE, an Automatic Theorem Prover. LPAR Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
1992	J	`jnl`	The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch
1991	—	`conf`	Any Gound Associative-Commutative Theory Has a Finite Canonical System. RTA Paliath Narendran, Michaël Rusinowitch
1991	—	`conf`	Automated deduction with associative commutative operators. FAIR Michaël Rusinowitch, Laurent Vigneron
1991	B	`conf`	Automatic Proof Methods for Algebraic Specifications. FCT Emmanuel Kounalis, Michaël Rusinowitch
1991	J	`jnl`	On Word Problems in Horn Theories. J. Symb. Comput. Emmanuel Kounalis, Michaël Rusinowitch
1991	J	`jnl`	Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM Jieh Hsiang, Michaël Rusinowitch
1991	—	`conf`	Studies on the Ground Convergence Property of Conditional Theories. AMAST Emmanuel Kounalis, Michaël Rusinowitch
1991	J	`jnl`	Theorem-Proving with Resolution and Superposition. J. Symb. Comput. Michaël Rusinowitch
1990	—	`conf`	A New Diagnosis Approach by Deduction and Abduction. Expert Systems in Engineering Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
1990	—	`conf`	A Proof System for Conditional Algebraic Specifications. CTRS Emmanuel Kounalis, Michaël Rusinowitch
1990	A	`conf`	Deductive/Abductvie Diagnosis: The DA-Principles. ECAI Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
1990	A*	`conf`	Mechanizing Inductive Reasoning. AAAI Emmanuel Kounalis, Michaël Rusinowitch
1990	J	`jnl`	Mechanizing inductive reasoning. Bull. EATCS Emmanuel Kounalis, Michaël Rusinowitch
1988	A	`conf`	On Word Problems in Horn Theories. CADE Emmanuel Kounalis, Michaël Rusinowitch
1988	—	`conf`	Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules. FGCS Michaël Rusinowitch
1987	A*	`conf`	Complete Inference Rules for the Cancellation Laws. IJCAI Jieh Hsiang, Michaël Rusinowitch, Kô Sakai
1987	J	`jnl`	On Termination of the Direct Sum of Term-Rewriting Systems. Inf. Process. Lett. Michaël Rusinowitch
1987	A*	`conf`	On Word Problems in Equational Theories. ICALP Jieh Hsiang, Michaël Rusinowitch
1987	—	`conf`	On Word Problems in Horn Theories. CTRS Emmanuel Kounalis, Michaël Rusinowitch
1987	J	`jnl`	Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. J. Symb. Comput. Michaël Rusinowitch
1986	A	`conf`	A New Method for Establishing Refutational Completeness in Theorem Proving. CADE Jieh Hsiang, Michaël Rusinowitch
1985	—	`conf`	Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. RTA Michaël Rusinowitch