Laboratoire RIADI-GDL [Manouba] < Laboratoire Spécification et Vérification [Cachan] < Laboratoire brestois de mécanique et des systèmes

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
000990 (2014-07)	Hubert Comon-Lundh ; Véronique Cortier ; Guillaume Scerri	A tool for automating the computationally complete symbolic attacker (Extended Abstract)
000E31 (2012-03-24)	Véronique Cortier ; Jan Degrieck ; Stéphanie Delaune	Analysing routing protocols: four nodes topologies are sufficient
001491 (2008)	Florent Jacquemard ; Michael Rusinowitch	Closure of Hedge-Automata Languages by Hedge Rewriting
001788 (2012)	Stefan Ciobaca ; Stéphanie Delaune ; Steve Kremer	Computing knowledge in security protocols under convergent equational theories
001A93 (2013)	Vincent Cheval ; Véronique Cortier ; Stéphanie Delaune	Deciding equivalence-based properties using constraint solving
002379 (2011)	Véronique Cortier ; Steve Kremer	Formal Models and Techniques for Analyzing Security Protocols
002500 (2013-07-08)	Rémy Chrétien ; Véronique Cortier ; Stéphanie Delaune	From security protocols to pushdown automata
002501 (2013-04-24)	Rémy Chrétien ; Véronique Cortier ; Stéphanie Delaune	From security protocols to pushdown automata
002699 (2015-08)	Paolo Ballarini ; Benoît Barbot ; Marie Duflot ; Serge Haddad ; Nihal Pekergin	HASL: A new approach for performance evaluation and model checking from concepts to experimentation
003289 (2014)	Mathilde Arnaud ; Véronique Cortier ; Stéphanie Delaune	Modeling and Verifying Ad Hoc Routing Protocols
004207 (2009)	Florent Jacquemard ; Michael Rusinowitch	Rewrite based Verification of XML Updates
004208 (2010-07-26)	Florent Jacquemard ; Michael Rusinowitch	Rewrite-Based Verification of XML Updates
004429 (2012-03-24)	Hubert Comon-Lundh ; Véronique Cortier ; Guillaume Scerri	Security proof with dishonest keys
004432 (2012-06-26)	Stéphanie Delaune ; Steve Kremer ; Daniel Pasaila	Security protocols, constraint systems, and group theories
004A02 (2009-07-06)	Carlos Areces ; Diego Figueira ; Daniel Gorin ; Sergio Mera	Tableaux and Model Checking for Memory Logics
004F32 (2013-06-09)	Hubert Comon-Lundh ; Véronique Cortier ; Guillaume Scerri	Tractable inference systems: an extension with a deducibility predicate
004F49 (2011-12-12)	Céline Chevalier ; Stéphanie Delaune ; Steve Kremer	Transforming Password Protocols to Compose
004F67 (2005)	Florent Jacquemard ; Michaël Rusinowitch ; Laurent Vigneron	Tree Automata with Equality Constraints Modulo Equational Theories
004F71 (2008)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Tree automata with equality constraints modulo equational theories
004F72 (2006-08-17)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Tree automata with equality constraints modulo equational theories
005076 (2012-04-10)	Steve Kremer ; Robert Kunnemann ; Graham Steel	Universally Composable Key-Management

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Laboratoire Spécification et Vérification [Cachan]" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Laboratoire Spécification et Vérification [Cachan]" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Laboratoire Spécification et Vérification [Cachan]
}}

---

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