Bobby John < Bogdan Warinschi < Bolanle Oladejo

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
000558 (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
000F58 (2013-11-04)	Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]	Deduction Soundness: Prove One, Get Five for Free
001955 (2012-10)	David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]	Measuring Vote Privacy, Revisited.
002089 (2011-10-17)	Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]	A Composable Computational Soundness Notion
002176 (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
002304 (2011-06-30)	Véronique Cortier [France] ; Bogdan Warinschi	A composable computational soundness notion (Abstract)
003184 (2010)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
003E41 (2009)	Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]	A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
004902 (2007-09)	Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France]	Synthetizing secure protocols
004913 (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.
004997 (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.
004D08 (2007)	Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Z Linescu [France]	Synthesizing Secure Protocols
004E63 (2007)	Emmanuel Bresson ; Yassine Lakhnech [France] ; Laurent Mazaré ; Bogdan Warinschi [Royaume-Uni]	A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
004F78 (2007)	Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France]	Synthesizing secure protocols
005034 (2007)	Zalinescu Eugen [France] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]	From passive to active security via a simple transformation
005095 (2006-12)	Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France]	Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
005188 (2006-09)	Véronique Cortier [France] ; Heinrich Hoerdegen [France] ; Bogdan Warinschi [France]	Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
005233 (2006-07-09)	Yassine Lakhnech [France] ; Laurent Mazare [France] ; Bogdan Warinschi [France]	Soundness of Symbolic Equivalence for Modular Exponentiation
005234 (2006-07-09)	Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France]	Computationally Sound Compositional Logic for Security Protocols
005618 (2006)	Martín Abadi ; Mathieu Baudet [France] ; Bogdan Warinschi [France]	Guessing Attacks and the Computational Soundness of Static Equivalence
005784 (2006)	Martin Abadi [États-Unis] ; Mathieu Baudet [France] ; Bogdan Warinschi [France]	Guessing attacks and the computational soundness of static equivalence

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Bogdan Warinschi" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "Bogdan Warinschi" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    Bogdan Warinschi
}}

---

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