Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster Paliath Narendran - Siva Anantharaman

Terms

47Paliath Narendran
21Siva Anantharaman
121Michael Rusinowitch
15Tarek Abbes
31Florent Jacquemard

Associations

Freq.WeightAssociation
190.605Paliath Narendran - Siva Anantharaman
220.292Michael Rusinowitch - Paliath Narendran
130.258Michael Rusinowitch - Siva Anantharaman
90.211Michael Rusinowitch - Tarek Abbes
120.196Florent Jacquemard - Michael Rusinowitch
Documents par ordre de pertinence
001A56 (2012-06-26) Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C64 (2012) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002153 (2011-09-01) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002D71 (2010-04) Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 (2010) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
004860 (2007-06-26) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004C40 (2007) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
006376 (2005) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
006945 (2004) Siva Anantharaman ; Paliath Narendran ; Michael RusinowitchUnification Modulo ACUI Plus Distributivity Axioms
006B10 (2004) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms
007969 (2003) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Homomorphisms/Distributivity
007B04 (2003) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]ACID -Unification Is NEXPTIME-Decidable
000D26 (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
001260 (2013-04-02) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001499 (2013) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001C14 (2012-03-05) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
002972 (2010-11-04) Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie]XML Access Control: from XACML to Annotated Schemas
002B58 (2010-07-26) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite-Based Verification of XML Updates
002E95 (2010) Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]Efficient Decision Tree for Protocol Analysis in Intrusion Detection
003877 (2009) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003C46 (2009) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite based Verification of XML Updates
003F94 (2008-06) Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
004144 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
004412 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
004603 (2008) Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]An inference system for detecting firewall filtering rules anomalies
004945 (2007-05-02) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps
005355 (2006) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
005586 (2006) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
005754 (2006) Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada]Journal of Automata, Languages and Combinatorics, Vol. 11(1)
005F15 (2005) Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronTree Automata with Equality Constraints Modulo Equational Theories
006840 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchOn the Fly Pattern Matching For Intrusion Detection with Snort
006845 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchProtocol Analysis in Intrusion Detection Using Decision Tree
006871 (2004) Tarek Abbes ; Alakesh Haloi ; Michael RusinowitchHigh Performance Intrusion Detection using Traffic Classification
006917 (2004) Tarek Abbes ; Michael RusinowitchFast Multipattern Matching for Intrusion Detection
006925 (2004) Tarek Abbes ; Michael Rusinowitch ; Alakesh HaloiNetwork Traffic Classification for Intrusion Detection
006B57 (2004) Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]On the fly pattern matching for intrusion detection with Snort
006F93 (2004) Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]How Useful are Dag Automata?
007366 (2003) Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael RusinowitchDeciding the Confluence of Ordered Term Rewrite Systems
007861 (2003) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchFiltrage Efficace Pour la Détection d'Intrusions
007D19 (2003) Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France]ACID-Unification is NEXPTIME-Decidable
007D29 (2003) Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]Unification modulo ACUI plus Homomorphisms/Distributivity
009986 (2000) Paliath Narendran ; Michael RusinowitchThe theory of total unary RPO is decidable
009B07 (2000) Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronCompiling and Verifying Security Protocols
009E14 (2000) Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]The Theory of Total Unary RPO Is Decidable
00A580 (1999) Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronCompiling and narrowing cryptographic protocols
00A764 (1999) Paliath Narendran ; Michael RusinowitchRewriting Techniques and Applications
00A946 (1999) Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]RPO Constraint Solving Is in NP
00B070 (1998) Paliath Narendran ; Michael Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B071 (1998) Paliath Narendran ; Michael Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B196 (1998) Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael RusinowitchDecision problems in ordered rewriting
00BA89 (1997) Hubert Comon ; Paliath Narendran ; Michael RusinowitchDecision Problems in Ordered Rewriting
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000231 (2015-11-16) Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000420 (2015-08-01) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000780 (2015) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Model‐based mutation testing from security protocols in HLPSL
000818 (2014-12-24) Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Practical access control management for distributed collaborative editors
000888 (2014-11-03) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]A Maximum Variance Approach for Graph Anonymization
000A04 (2014-08-05) Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France]A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000C18 (2014-04-05) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C34 (2014-04) Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France]Model-Based Vulnerability Testing of Payment Protocol Implementations
000C69 (2014-02-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Enforcing Privacy in Decentralized Mobile Social Networks
000C88 (2014-02) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Asymmetric Unification and the Combination Problem in Disjoint Theories
000F28 (2013-11-21) Michael Rusinowitch [France]Automated verification of security protocols and application to services
000F63 (2013-10-25) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Guarded Variable Automata over Infinite Alphabets
000F96 (2013-10-09) Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]SVMAX: a system for secure and valid manipulation of XML data
001015 (2013-09-22) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Fresh-Variable Automata for Service Composition
001140 (2013-06-27) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001141 (2013-06-27) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination of Unification Algorithms
001262 (2013-04-01) Abdessamad Imine [France] ; Michael Rusinowitch [France]Secure Collaboration for Smartphones
001526 (2013) Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis]On Forward Closure and the Finite Variant Property
001578 (2013) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001850 (2012-11-16) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001893 (2012-10-17) Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Towards the Orchestration of Secured Services under Non-disclosure Policies.
001E13 (2012) Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
002123 (2011-09-15) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Web Services Verification and Prudent Implementation
002127 (2011-09-15) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Distributed Orchestration of Web Services under Security Constraints
002947 (2010-11-29) Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Orchestration under Security Constraints
002A26 (2010-10-11) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with a Set Constructor
002B06 (2010-08-30) Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
002D34 (2010-05) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with and without a Set Constructor
002F08 (2010) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
003169 (2010) Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
003434 (2009-08-28) Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France]A Flexible Access Control Model for Distributed Collaborative Editors
003487 (2009-07-08) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
003684 (2009-03) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003C83 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
003C86 (2009) Yannick Chevalier [France] ; Michael Rusinowitch [France]Compiling and securing cryptographic protocols
003C88 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combinable Extensions of Abelian Groups
003D08 (2009) Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France]Abusing SIP authentication
003F06 (2008-07-17) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
003F13 (2008-07-08) Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Automatic Composition of Services with Security Policies
004188 (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
004460 (2008) Yannick Chevalier [France] ; Michael Rusinowitch [France]Hierarchical combination of intruder theories
004526 (2008) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
004E20 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France]Toward an Automatic Analysis of Web Service Security
005D26 (2005) Véronique Cortier ; Michael Rusinowitch ; Eugen ZalinescuA resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
006456 (2005) Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
006653 (2004-05) Tarek Abbes [France] ; Michaël Rusinowitch [France]Fast Multipattern Matching for Intrusion Detection
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