Auteurs
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Hal)

Index « Auteurs » - entrée « Michaël Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Michaël Petit < Michaël Rusinowitch < Michel Bidoit  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 95.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000352 (2015-08-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Differentially Private Publication of Social Graphs at Linear Cost
000397 (2015-08-01) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michaël Rusinowitch [France]Model-based mutation testing from security protocols in HLPSL
000566 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000972 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000C77 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001051 (2013-06-27) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001464 (2012-11-16) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001633 (2012-07-18) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
001819 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001836 (2012-03-05) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
001D05 (2011-07-06) Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks
001E99 (2011-03-21) Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Optimistic access control for distributed collaborative editors
002E92 (2009) Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
003004 (2009) Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France]An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
003192 (2008-09) Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michaël Rusinowitch [France] ; Radu State [France]Abusing SIP Authentication
003673 (2008) Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
003A91 (2007-05-02) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps
003C93 (2007) Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
003F46 (2006-09) Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
004290 (2006) Eugen Zalinescu [France] ; Véronique Cortier [France] ; Michaël Rusinowitch [France]Relating two Standard Notions of Secrecy
004360 (2006) Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i -k "Michaël Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/Author.i  \
                -Sk "Michaël Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Michaël Rusinowitch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022