Michal Rusinowitch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
78
Venues
43
Active years
1986–2026
Best venue rank
A*
Where they publish
- ACADE7 papers
- MulticonferenceSAC6 papers
- BCSL4 papers
- A*CAV4 papers
- BLPAR3 papers
- A*LICS3 papers
- BCNSM2 papers
- NationalSYNASC2 papers
- CADBIS2 papers
- CDEXA2 papers
- BTrustBus2 papers
- CCRiSIS2 papers
- A*CCS2 papers
- AICSOC2 papers
- CLATA2 papers
- ATACAS2 papers
- AESORICS2 papers
- CPPDP2 papers
- A*ICALP2 papers
- A*IJCAI2 papers
- BNetSoft1 paper
- BNOMS1 paper
- BDBSEC1 paper
- CPST1 paper
- NationalICIN1 paper
- BNCA1 paper
- BNetworking1 paper
- BEDBT1 paper
- AFC1 paper
- BAiML1 paper
- CIDEAS1 paper
- CISPDC1 paper
- BSERVICES1 paper
- BAINA1 paper
- CFORTE1 paper
- BECSCW1 paper
- BFM1 paper
- BMFCS1 paper
- BFASE1 paper
- BCPM1 paper
- BFCT1 paper
- A*AAAI1 paper
- AECAI1 paper
Papers
78 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | CauseRL: Reinforcement Learning-based Random Walks for Root Cause Analysis in Microservices. | Jhon Sebastian Rojas Rodriguez, Abdelkader Lahmadi, Michal Rusinowitch |
| 2025 | CNSM | Deep Reinforcement Learning for In-Network Placement of ACL Rules Under Constraints. | Wafik Zahwa, Abdelkader Lahmadi, Michal Rusinowitch, Mondher Ayadi |
| 2023 | NetSoft | Automated Placement of In-Network ACL Rules. | Wafik Zahwa, Abdelkader Lahmadi, Michal Rusinowitch, Mondher Ayadi |
| 2022 | NOMS | Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula, Mondher Ayadi |
| 2022 | SYNASC | Deciding Whether two Codes Have the Same Ambiguities is in co-NP. | Yannick Chevalier, Michal Rusinowitch |
| 2021 | DBSEC | Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks. | Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michal Rusinowitch |
| 2021 | PST | FOX: Fooling with Explanations : Privacy Protection with Adversarial Reactions in Social Media. | Noreddine Belhadj Cheikh, Abdessamad Imine, Michal Rusinowitch |
| 2020 | ADBIS | Your Age Revealed by Facebook Picture Metadata. | Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michal Rusinowitch |
| 2020 | CNSM | R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula |
| 2020 | DEXA | Online Attacks on Picture Owner Privacy. | Bizhan Alipour Pijani, Abdessamad Imine, Michal Rusinowitch |
| 2020 | ICIN | Double Mask: An Efficient Rule Encoding for Software Defined Networking. | Ahmad Abboud, Abdelkader Lahmadi, Michal Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Avadi |
| 2020 | NCA | Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. | Ahmad Abboud, Rmi Garcia, Abdelkader Lahmadi, Michal Rusinowitch, Adel Bouhoula |
| 2020 | SAC | You are what emojis say about your pictures: language-independent gender inference attack on Facebook. | Bizhan Alipour Pijani, Abdessamad Imine, Michal Rusinowitch |
| 2019 | CADE | Unification Modulo Lists with Reverse Relation with Certain Word Equations. | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michal Rusinowitch |
| 2019 | Networking | Poster : Minimizing range rules for packet filtering using a double mask representation. | Ahmad Abboud, Abdelkader Lahmadi, Michal Rusinowitch, Miguel Couceiro, Adel Bouhoula |
| 2019 | TrustBus | Gender Inference for Facebook Picture Owners. | Bizhan Alipour, Abdessamad Imine, Michal Rusinowitch |
| 2018 | ADBIS | Online Testing of User Profile Resilience Against Inference Attacks in Social Networks. | Younes Abid, Abdessamad Imine, Michal Rusinowitch |
| 2018 | EDBT | Sensitive Attribute Prediction for Social Networks Users. | Younes Abid, Abdessamad Imine, Michal Rusinowitch |
| 2017 | DEXA | Two-Phase Preference Disclosure in Attributed Social Networks. | Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Rassi, Michal Rusinowitch |
| 2016 | CRiSIS | Online Link Disclosure Strategies for Social Networks. | Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Rassi, Michal Rusinowitch |
| 2016 | FC | Automated Verification of Electrum Wallet. | Mathieu Turuani, Thomas Voegtlin, Michal Rusinowitch |
| 2015 | CCS | Anonymizing Social Graphs via Uncertainty Semantics. | Hiep H. Nguyen, Abdessamad Imine, Michal Rusinowitch |
| 2015 | ICSOC | Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. | Tushant Jha, Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2014 | AiML | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. | Walid Belkhir, Gisela Rossi, Michal Rusinowitch |
| 2014 | ICSOC | An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2013 | IDEAS | Untitled record | Houari Mahfoud, Abdessamad Imine, Michal Rusinowitch |
| 2013 | LATA | Rewrite Closure and CF Hedge Automata. | Florent Jacquemard, Michal Rusinowitch |
| 2013 | SYNASC | Fresh-Variable Automata: Application to Service Composition. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2012 | CADE | Unification Modulo Synchronous Distributivity. | Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
| 2012 | LATA | Unification Modulo Chaining. | Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michal Rusinowitch |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | ESORICS | Web Services Verification and Prudent Implementation. | Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch |
| 2011 | ESORICS | Distributed Orchestration of Web Services under Security Constraints. | Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch, Mathieu Turuani |
| 2011 | ISPDC | DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks. | Jagdish Prasad Achara, Abdessamad Imine, Michal Rusinowitch |
| 2011 | SAC | Optimistic access control for distributed collaborative editors. | Asma Cherif, Abdessamad Imine, Michal Rusinowitch |
| 2010 | CCS | Cap unification: application to protocol security modulo homomorphic encryption. | Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michal Rusinowitch |
| 2010 | CRiSIS | Satisfiability of general intruder constraints with a set constructor. | Tigran Avanesov, Yannick Chevalier, Michal Rusinowitch, Mathieu Turuani |
| 2010 | PPDP | Rewrite-based verification of XML updates. | Florent Jacquemard, Michal Rusinowitch |
| 2010 | TrustBus | Safe and Efficient Strategies for Updating Firewall Policies. | Zeeshan Ahmed, Abdessamad Imine, Michal Rusinowitch |
| 2009 | CADE | Combinable Extensions of Abelian Groups. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2009 | TACAS | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2008 | SAC | An inference system for detecting firewall filtering rules anomalies. | Tarek Abbes, Adel Bouhoula, Michal Rusinowitch |
| 2008 | SERVICES | Automatic Composition of Services with Security Policies. | Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch |
| 2007 | AINA | A Traffic Classification Algorithm for Intrusion Detection. | Tarek Abbes, Adel Bouhoula, Michal Rusinowitch |
| 2007 | LPAR | Verifying Cryptographic Protocols with Subterms Constraints. | Yannick Chevalier, Denis Lugiez, Michal Rusinowitch |
| 2006 | CADE | Tree Automata with Equality Constraints Modulo Equational Theories. | Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron |
| 2006 | CSL | Relating Two Standard Notions of Secrecy. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | FORTE | Towards Synchronizing Linear Collaborative Objects with Operational Transformation. | Abdessamad Imine, Pascal Molli, Grald Oster, Michal Rusinowitch |
| 2005 | ICALP | Combining Intruder Theories. | Yannick Chevalier, Michal Rusinowitch |
| 2005 | PPDP | A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2003 | CADE | Unification Modulo ACU I Plus Homomorphisms/Distributivity. | Siva Anantharaman, Paliath Narendran, Michal Rusinowitch |
| 2003 | CSL | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | ECSCW | Proving Correctness of Transformation Functions in Real-Time Groupware. | Abdessamad Imine, Pascal Molli, Grald Oster, Michal Rusinowitch |
| 2003 | FM | Computing Meta-transitions for Linear Transition Systems with Polynomials. | Julien Musset, Michal Rusinowitch |
| 2003 | LICS | An NP Decision Procedure for Protocol Insecurity with XOR. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani |
| 2003 | MFCS | ACID-Unification Is NEXPTIME-Decidable. | Siva Anantharaman, Paliath Narendran, Michal Rusinowitch |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2001 | CSL | Uniform Derivation of Decision Procedures by Superposition. | Alessandro Armando, Silvio Ranise, Michal Rusinowitch |
| 2000 | CAV | Mechanical Verification of an Ideal Incremental | Michal Rusinowitch, Sorin Stratulat, Francis Klay |
| 2000 | LPAR | Compiling and Verifying Security Protocols. | Florent Jacquemard, Michal Rusinowitch, Laurent Vigneron |
| 1998 | CSL | RPO Constraint Solving Is in NP. | Paliath Narendran, Michal Rusinowitch, Rakesh M. Verma |
| 1998 | FASE | Observational Proofs with Critical Contexts. | Narjes Berregeb, Adel Bouhoula, Michal Rusinowitch |
| 1998 | LICS | Decision Problems in Ordered Rewriting. | Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michal Rusinowitch |
| 1996 | CAV | Automated Verification by Induction with Associative-Commutative Operators. | Narjes Berregeb, Adel Bouhoula, Michal Rusinowitch |
| 1996 | SAC | Implementing non-linear constraints with cooperative solvers. | ric Monfroy, Michal Rusinowitch, Ren Schott |
| 1995 | CPM | Matching a Set of Strings with Variable Length Don't Cares. | Gregory Kucherov, Michal Rusinowitch |
| 1994 | SAC | On ground reducibility problem for word rewriting systems with variables. | Gregory Kucherov, Michal Rusinowitch |
| 1993 | IJCAI | Automatic Case Analysis in Proof by Induction. | Adel Bouhoula, Michal Rusinowitch |
| 1993 | LICS | The Unifiability Problem in Ground AC Theories | Paliath Narendran, Michal Rusinowitch |
| 1992 | LPAR | SPIKE, an Automatic Theorem Prover. | Adel Bouhoula, Emmanuel Kounalis, Michal Rusinowitch |
| 1991 | FCT | Automatic Proof Methods for Algebraic Specifications. | Emmanuel Kounalis, Michal Rusinowitch |
| 1990 | AAAI | Mechanizing Inductive Reasoning. | Emmanuel Kounalis, Michal Rusinowitch |
| 1990 | ECAI | Deductive/Abductvie Diagnosis: The DA-Principles. | Bchir el Ayeb, Pierre Marquis, Michal Rusinowitch |
| 1988 | CADE | On Word Problems in Horn Theories. | Emmanuel Kounalis, Michal Rusinowitch |
| 1987 | ICALP | On Word Problems in Equational Theories. | Jieh Hsiang, Michal Rusinowitch |
| 1987 | IJCAI | Complete Inference Rules for the Cancellation Laws. | Jieh Hsiang, Michal Rusinowitch, K Sakai |
| 1986 | CADE | A New Method for Establishing Refutational Completeness in Theorem Proving. | Jieh Hsiang, Michal Rusinowitch |