Cryptographic protocols < Cryptography < Crystal structure

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Cryptography

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]

Ident.	Authors (with country if any)	Title
000E72 (2014)	Jean-Luc Danger [France] ; Mourad Debbabi [Canada] ; Jean-Yves Marion [France] ; Joaquin Garcia-Alfaro [France] ; Nur Zincir Heywood [Canada]	Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers
002019 (2011-11-07)	Romain Cosset [France]	Applications of theta functions for hyperelliptic curve cryptography.
002B62 (2010-07-21)	Damien Robert [France]	Theta functions and cryptographic applications
002C87 (2010-05-28)	Nazim Benaissa [France]	Security protocols composition using Event B
003127 (2010)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
005375 (2006)	Mathieu Turuani [France]	The CL-Atse Protocol Analyser
005376 (2006)	P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France]	The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
005401 (2006)	Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Z Linescu [France]	Relating Two Standard Notions of Secrecy
005472 (2006)	Martín Abadi ; Mathieu Baudet [France] ; Bogdan Warinschi [France]	Guessing Attacks and the Computational Soundness of Static Equivalence
005573 (2006)	Véronique Cortier [France]	Protocoles cryptographiques: analyse par méthodes formelles
005612 (2006)	Manin Abadi [États-Unis] ; Véronique Cortier [France]	Deciding knowledge in security protocols under equational thoories
005616 (2006)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]	Computationally sound symbolic secrecy in the presence of hash functions
006121 (2005)	Véronique Cortier [France]	Vérifier les protocoles cryptographiques
006192 (2005)	Tomasz Truderung [Pologne]	Selecting Theories and Recursive Protocols
006199 (2005)	Tomasz Truderung [Pologne]	Regular Protocols and Attacks with Regular Knowledge
006207 (2005)	Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]	Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
006279 (2005)	Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]	Computationally Sound, Automated Proofs for Security Protocols
006280 (2005)	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally Sound Implementations of Equational Theories Against Passive Adversaries
006286 (2005)	Yannick Chevalier [France] ; Michaël Rusinowitch [France]	Combining Intruder Theories
006366 (2005)	Phong Q. Nguyen [France] ; Damien Stehle [France]	Floating-point LLL revisited
006371 (2005)	MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]	Efficient clustering for multicast key distribution in MANETs

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Cryptography" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Cryptography" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Cryptography
}}

---

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