Michaël Rusinowitch

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 33

Top Venues

CoRR

J. Symb. Comput.

FPS

ICSOC Workshops

Publications

Wafik Zahwa, Abdelkader Lahmadi, Michaël Rusinowitch, Mondher Ayadi
In-Network ACL Rules Placement using Deep Reinforcement Learning. MeditCom (2024)
Wafik Zahwa, Abdelkader Lahmadi, Michaël Rusinowitch, Mondher Ayadi
Automated Placement of In-Network ACL Rules. NetSoft (2023)
Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula, Mondher Ayadi
Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. NOMS (2022)
Kamalkumar Macwan, Abdessamad Imine, Michaël Rusinowitch
Privacy Preserving Recommendations for Social Networks. SNAMS (2022)
Kamalkumar Macwan, Abdessamad Imine, Michaël Rusinowitch
Differentially Private Friends Recommendation. FPS (2022)
Yannick Chevalier, Michaël Rusinowitch
Deciding Whether two Codes Have the Same Ambiguities is in co-NP. SYNASC (2022)
Yannick Chevalier, Michaël Rusinowitch
Implementing Security Protocol Monitors. SCSS (2021)
Noreddine Belhadj Cheikh, Abdessamad Imine, Michaël Rusinowitch
FOX: Fooling with Explanations : Privacy Protection with Adversarial Reactions in Social Media. PST (2021)
Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
Divide-and-Learn: A Random Indexing Approach to Attribute Inference Attacks in Online Social Networks. DBSec (2021)
Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. NCA (2020)
Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
You are what emojis say about your pictures: language-independent gender inference attack on Facebook. SAC (2020)
Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. CNSM (2020)
Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
Online Attacks on Picture Owner Privacy. DEXA (2) (2020)
Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Avadi
Double Mask: An Efficient Rule Encoding for Software Defined Networking. ICIN (2020)
Sanaz Eidizadehakhcheloo, Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch
Your Age Revealed by Facebook Picture Metadata. ADBIS/TPDL/EDA Workshops (2020)
Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Lists with Reverse Relation with Certain Word Equations. CADE (2019)
Bizhan Alipour, Abdessamad Imine, Michaël Rusinowitch
Gender Inference for Facebook Picture Owners. TrustBus (2019)
Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula
Poster : Minimizing range rules for packet filtering using a double mask representation. Networking (2019)
Florent Jacquemard, Michaël Rusinowitch
One-variable context-free hedge automata. J. Comput. Syst. Sci. 104 (2019)
Younes Abid, Abdessamad Imine, Michaël Rusinowitch
Online Testing of User Profile Resilience Against Inference Attacks in Social Networks. ADBIS (Short Papers and Workshops) (2018)
Younes Abid, Abdessamad Imine, Michaël Rusinowitch
Sensitive Attribute Prediction for Social Networks Users. EDBT/ICDT Workshops (2018)
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
Two-Phase Preference Disclosure in Attributed Social Networks. DEXA (1) (2017)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with and without a set constructor. J. Symb. Comput. 80 (2017)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions. J. Symb. Comput. 80 (2017)
Mathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch
Automated Verification of Electrum Wallet. Financial Cryptography Workshops (2016)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Network Structure Release under Differential Privacy. Trans. Data Priv. 9 (3) (2016)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Private Link Exchange over Social Graphs. CoRR (2016)
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Marc Rigolot, Michaël Rusinowitch
Analyse d'activité et exposition de la vie privée sur les médias sociaux. EGC (2016)
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
Detection of firewall configuration errors with updatable tree. Int. J. Inf. Sec. 15 (3) (2016)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Detecting Communities under Differential Privacy. WPES@CCS (2016)
Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES (2016)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Detecting Communities under Differential Privacy. CoRR (2016)
Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch
Online Link Disclosure Strategies for Social Networks. CRiSIS (2016)
Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. ICSOC Workshops (2015)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Differentially Private Publication of Social Graphs at Linear Cost. ASONAM (2015)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Anonymizing Social Graphs via Uncertainty Semantics. AsiaCCS (2015)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Parametrized automata simulation and application to service composition. J. Symb. Comput. 69 (2015)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Log. Methods Comput. Sci. 10 (1) (2014)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Anonymizing Social Graphs via Uncertainty Semantics. CoRR (2014)
Walid Belkhir, Gisela Rossi, Michaël Rusinowitch
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. Advances in Modal Logic (2014)
Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
Practical access control management for distributed collaborative editors. Pervasive Mob. Comput. 15 (2014)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. ICSOC Workshops (2014)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
A Maximum Variance Approach for Graph Anonymization. FPS (2014)
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Enforcing Privacy in Decentralized Mobile Social Networks. ESSoS Doctoral Symposium (2014)
Abdessamad Imine, Michaël Rusinowitch
Secure Collaboration for Smartphones. ERCIM News 2013 (93) (2013)
Houari Mahfoud, Abdessamad Imine, Michaël Rusinowitch
: a system for secure and valid manipulation of XML data. IDEAS (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Guarded Variable Automata over Infinite Alphabets CoRR (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata: Application to Service Composition. SYNASC (2013)
Florent Jacquemard, Michaël Rusinowitch
Rewrite Closure and CF Hedge Automata. LATA (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata for Service Composition CoRR (2013)
Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch
Compiling symbolic attacks to protocol implementation tests. SCSS (2012)
Yannick Chevalier, Michaël Rusinowitch
Decidability of Equivalence of Symbolic Derivations. J. Autom. Reason. 48 (2) (2012)
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Synchronous Distributivity. IJCAR (2012)
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ò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. J. Autom. Reason. 48 (2) (2012)
Florent Jacquemard, Michaël Rusinowitch
Rewrite Closure and CF Hedge Automata CoRR (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions CoRR (2012)
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Chaining. LATA (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies. MMM-ACNS (2012)
Jagdish Prasad Achara, Abdessamad Imine, Michaël Rusinowitch
DeSCal - Decentralized Shared Calendar for P2P and Ad-Hoc Networks. ISPDC (2011)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR (2011)
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP (2011)
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation. DPM/SETOP (2011)
Asma Cherif, Abdessamad Imine, Michaël Rusinowitch
Optimistic access control for distributed collaborative editors. SAC (2011)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
String Rewriting and Security Analysis: An Extension of a Result of Book and Otto. J. Autom. Lang. Comb. 16 (2-4) (2011)
Yannick Chevalier, Michaël Rusinowitch
Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures. Theor. Comput. Sci. 411 (10) (2010)
Zeeshan Ahmed, Abdessamad Imine, Michaël Rusinowitch
Safe and Efficient Strategies for Updating Firewall Policies. TrustBus (2010)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with a set constructor. CRiSIS (2010)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Cap unification: application to protocol security modulo homomorphic encryption. AsiaCCS (2010)
Yannick Chevalier, Michaël Rusinowitch
Compiling and securing cryptographic protocols. Inf. Process. Lett. 110 (3) (2010)
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Orchestration under Security Constraints. FMCO (2010)
Florent Jacquemard, Michaël Rusinowitch
Rewrite-based verification of XML updates. PPDP (2010)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. Fundam. Informaticae 105 (1-2) (2010)
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
Efficient decision tree for protocol analysis in intrusion detection. Int. J. Secur. Networks 5 (4) (2010)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Combinable Extensions of Abelian Groups. CADE (2009)
Yannick Chevalier, Michaël Rusinowitch
Compiling and securing cryptographic protocols CoRR (2009)
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. CSF (2009)
Florent Jacquemard, Michaël Rusinowitch
Rewrite based Verification of XML Updates CoRR (2009)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS (2009)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCoS (2009)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. FroCoS (2009)
Abdessamad Imine, Asma Cherif, Michaël Rusinowitch
A Flexible Access Control Model for Distributed Collaborative Editors. Secure Data Management (2009)
Humberto J. Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State
Abusing SIP Authentication. IAS (2008)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. 9 (4) (2008)
Florent Jacquemard, Michaël Rusinowitch
Closure of Hedge-Automata Languages by Hedge Rewriting. RTA (2008)
Yannick Chevalier, Michaël Rusinowitch
Hierarchical combination of intruder theories. Inf. Comput. 206 (2-4) (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification modulo Homomorphic Encryption is Decidable. UNIF (2008)
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
An inference system for detecting firewall filtering rules anomalies. SAC (2008)
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Automatic Composition of Services with Security Policies. SERVICES I (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
Tree automata with equality constraints modulo equational theories. J. Log. Algebraic Methods Program. 75 (2) (2008)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Intruders with Caps. RTA (2007)
Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
Verifying Cryptographic Protocols with Subterms Constraints. LPAR (2007)
Abdessamad Imine, Michaël Rusinowitch
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. Rewriting, Computation and Proof (2007)
Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
A Traffic Classification Algorithm for Intrusion Detection. AINA Workshops (1) (2007)
Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
Towards an Automatic Analysis of Web Service Security. FroCoS (2007)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
Relating two standard notions of secrecy CoRR (2007)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
Relating two standard notions of secrecy. Log. Methods Comput. Sci. 3 (3) (2007)

Michaël Rusinowitch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michaël Rusinowitch