Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Véronique Cortier »
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.
Vladimir Y. Lunin < Véronique Cortier < W. De Mulder  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000073 (2013) Véronique Cortier [France] ; Ben Smyth [France]Attacking and fixing Helios: An analysis of ballot secrecy
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000251 (2009) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
000315 (2006) Véronique Cortier [France]Protocoles cryptographiques: analyse par méthodes formelles
000353 (2006) Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
000396 (2006) Manin Abadi [États-Unis] ; Véronique Cortier [France]Deciding knowledge in security protocols under equational thoories
000401 (2006) Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]Computationally sound symbolic secrecy in the presence of hash functions
000415 (2006) Véronique Cortier [France] ; Xavier Goaoc [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud]A note on maximally repeated sub-patterns of a point set
000426 (2005) Véronique Cortier [France]Vérifier les protocoles cryptographiques
000507 (2005) Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]Computationally sound, automated proofs for security protocols
000508 (2005) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries

List of associated FC03.fr.i

Nombre de
documents		Descripteur
7Cryptographie
6Protocole transmission
5Décidabilité
4Informatique théorique
4Modélisation
4Secret
4Théorie équationnelle
3Cryptage
3Protocole sécurité
3Sécurité
3Temps polynomial
2.
2Approche probabiliste
2Asymétrie
2Confidentialité
2Méthode formelle
2Primitif
2Spécification formelle
2Sécurité informatique
168T15
1Administration électronique
1Analyse comportementale
1Analyse syntaxique
1Atteignabilité
1Authentification
1Automate
1Chiffrement
1Clé publique
1Configuration répétée
1Connaissance
1Consistance sémantique
1Décryptage
1Déduction
1Démonstration automatique
1Ensemble point
1Equivalence
1Faisabilité
1Fonction aléatoire
1Grossissement
1Géométrie discrète
1Hachage
1Implémentation
1Indécidabilité
1Internet
1Intégrité
1Langage coordination
1Langage programmation
1Lien
1Logiciel libre
1Législation
1Oracle
1Pire cas
1Polynôme
1Prise décision
1Procédure décision
1Programmation logique
1Protocole
1Protocole cryptographique
1Raisonnement basé sur cas
1Réseau web
1Signature électronique
1Simultanéité informatique
1Système information
1Théorie vote
1Traitement liste
1Vie privée
1Vote
1Vote électronique
1Vulnérabilité
1Vérification programme
1pi calcul

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Véronique Cortier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Véronique Cortier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Véronique Cortier
}}
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