AffRegion.i
Analysis
UK
Racine
Analysis
UK
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (UK)

Index « AffRegion.i » - entrée « Franche-Comté »
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.
Floride < Franche-Comté < Gauteng  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]
Ident.Authors (with country if any)Title
000012 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000015 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000023 (2015-05) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]A comprehensive analysis of game-based ballot privacy definitions
000032 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
000048 (2013-11-04) Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]Deduction Soundness: Prove One, Get Five for Free
000049 (2013-09) Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]Frontiers of Combining Systems
000052 (2013-07-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France]Lengths may break privacy -- or how to check for equivalences with length
000060 (2013-03-16) Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Practical Everlasting Privacy
000068 (2013) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding equivalence-based properties using constraint solving
000070 (2013) Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni]Composition of Password-based Protocols
000096 (2012-10) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]Measuring Vote Privacy, Revisited.
000108 (2012) Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]Automated Verification of Equivalence Properties of Cryptographic Protocols
000119 (2011-10-17) Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]A Composable Computational Soundness Notion
000121 (2011-09-12) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Ben Smyth [France] ; Bogdan Warinschi [Royaume-Uni]Adapting Helios for provable ballot secrecy
000170 (2009) Christophe Denis [Royaume-Uni] ; Raphael Couturier [France] ; Fabienne Jézéquel [France]A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment
000179 (2009) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
000196 (2007-09) Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France]Synthetizing secure protocols
000197 (2007-09) Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000198 (2007-07) Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]A Formal Theory of Key Conjuring.
000199 (2007-07) Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni]A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.
000200 (2007-03) Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni]Automatic Analysis of the Security of XOR-based Key Management Schemes.

List of associated Author.i

Nombre de
documents		Descripteur
20Véronique Cortier
11Bogdan Warinschi
5Steve Kremer
5Stéphanie Delaune
5Vincent Cheval
4Graham Steel
3David Bernhard
3Olivier Pereira
2Eric Le Morvan
2Eugen Zalinescu
2Mark D. Ryan
2Myrto Arapinis
2Ralf Kuesters
1Antoine Plet
1Ben Smyth
1Carole Bernon
1Christophe Denis
1Christophe Ringeissen
1Céline Chevalier
1David Galindo
1Fabienne Jézéquel
1Florian Boehl
1Keighren Gavin
1Pascal Fontaine
1Paul Marrow
1Raphael Couturier
1Renate Schmidt
1Rohit Chadha
1Stefan Ciobaca
1Vincent Chevrier
1Vincent Hilaire
1Zalinescu Eugen

List of associated AffOrg.i

Nombre de
documents		Descripteur
25Université de Franche-Comté
25Université de Lorraine
25Université de technologie de Belfort-Montbéliard
24Université de Bourgogne Franche-Comté
13Institut national polytechnique de Lorraine
13Université Nancy 2
4Université d'Édimbourg
4Université de Birmingham
3Université catholique de Louvain
2École polytechnique fédérale de Zurich

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/UK/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i -k "Franche-Comté" 

HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i  \
                -Sk "Franche-Comté" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/UK/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    UK
   |étape=   Analysis
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Franche-Comté
}}
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