Auteurs
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Michael 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.
Michael Rosemann < Michael Rusinowitch < Michael Sagraloff  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 60.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000191 (2009-08-28) Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France]A Flexible Access Control Model for Distributed Collaborative Editors
000294 (2014-11-03) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]A Maximum Variance Approach for Graph Anonymization
000378 (2014-08-05) Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France]A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000A54 (2009) Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France]Abusing SIP authentication
000A91 (2008-06) Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
000E08 (2008) Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]An inference system for detecting firewall filtering rules anomalies
001077 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
001092 (2013-11-21) Michael Rusinowitch [France]Automated verification of security protocols and application to services
001101 (2008-07-08) Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Automatic Composition of Services with Security Policies
001392 (2010-04) Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
001491 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
001546 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combinable Extensions of Abelian Groups
001547 (2009-08) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combinable Extensions of Abelian Groups
001590 (2010) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
001680 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Compiling and securing cryptographic protocols
001681 (2009) Yannick Chevalier [France] ; Michael Rusinowitch [France]Compiling and securing cryptographic protocols
001683 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001705 (2008) Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001A55 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
001A56 (2009-09-16) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-disjoint Combination
001A85 (2012) Yannick Chevalier [France] ; Michael Rusinowitch [France]Decidability of Equivalence of Symbolic Derivations

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Michael Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Michael Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Michael 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