Ioana Boureanu

Citée par

	Toutes	Depuis 2017
Citations	672	419
indice h	14	13
indice i10	16	14

120

20072008200920102011201220132014201520162017201820192020202120223 3 2 8 4 9 29 58 73 51 48 109 66 80 88 28

Accès public

Tout afficher

14 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Serge VaudenayProfessor at EPFLAdresse e-mail validée de epfl.ch
Aikaterini (Katerina) MitrokotsaProfessor, University of St. GallenAdresse e-mail validée de unisg.ch
Alessio R LomuscioImperial College LondonAdresse e-mail validée de imperial.ac.uk
David GERAULTTIIAdresse e-mail validée de tii.ae
Gildas AvoineINSA Rennes, IRISA, CNRSAdresse e-mail validée de irisa.fr
Tom ChothiaUniversity of BirminghamAdresse e-mail validée de cs.bham.ac.uk
Muhammed Ali BingolSenior Lecturer in Cyber Security at De Montfort UniversityAdresse e-mail validée de dmu.ac.uk
Pascal LafourcadeUniversité Clermont AuvergneAdresse e-mail validée de uca.fr
Karthikeyan BhargavanINRIAAdresse e-mail validée de inria.fr
Pierre-Alain FouqueProfessor of Computer Science, Rennes University, IRISA, Institut Universitaire de FranceAdresse e-mail validée de ens.fr
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Rolando Trujillo RasúaSenior Lecturer at Deakin UniversityAdresse e-mail validée de deakin.edu.au
Chong Hee KIMPrincipal SoC Security Assessor at NXPAdresse e-mail validée de nxp.com
Süleyman KardaşAsist. Prof. at Batman UniversityAdresse e-mail validée de batman.edu.tr
Dave SingeleeKatholieke Universiteit Leuven - COSICAdresse e-mail validée de esat.kuleuven.be
Jorge MunillaProfessor of Telecommunication Engineering, University of MalagaAdresse e-mail validée de ic.uma.es
Kasper RasmussenUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Liqun ChenProfessor, University of Surrey, UKAdresse e-mail validée de surrey.ac.uk
Asli BAYAntalya Bilim UniversitesiAdresse e-mail validée de antalya.edu.tr
Andrew V. JonesVector Software, Inc.Adresse e-mail validée de vectorcast.com

Suivre

Ioana Boureanu

Senior Lecturer (Associate Professor), University of Surrey

Adresse e-mail validée de surrey.ac.uk - Page d'accueil

Provable Security Security Verification Formal Verification Applied Cryptography


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Practical and provably secure distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay Journal of Computer Security 23 (2), 229-257, 2015	84	2015
Towards secure distance bounding I Boureanu, A Mitrokotsa, S Vaudenay International workshop on fast software encryption, 55-67, 2013	66	2013
Secure and lightweight distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay International workshop on lightweight cryptography for security and privacy …, 2013	63	2013
Security of distance-bounding: A survey G Avoine, MA Bingöl, I Boureanu, S Čapkun, G Hancke, S Kardaş, ... ACM Computing Surveys (CSUR) 51 (5), 1-33, 2018	51	2018
The Bussard-Bagga and other distance-bounding protocols under attacks A Bay, I Boureanu, A Mitrokotsa, I Spulber, S Vaudenay International Conference on Information Security and Cryptology, 371-391, 2012	37	2012
On the pseudorandom function assumption in (secure) distance-bounding protocols I Boureanu, A Mitrokotsa, S Vaudenay International Conference on Cryptology and Information Security in Latin …, 2012	36	2012
Automatic verification of temporal-epistemic properties of cryptographic protocols I Boureanu, M Cohen, A Lomuscio Journal of Applied Non-Classical Logics 19 (4), 463-487, 2009	32	2009
Weighted threshold secret sharing based on the Chinese remainder theorem S Iftene, IC Boureanu Scientific Annals of Cuza University 15 (ARTICLE), 161-172, 2005	32	2005
Content delivery over TLS: a cryptographic analysis of keyless SSL K Bhargavan, I Boureanu, PA Fouque, C Onete, B Richard 2017 IEEE European Symposium on Security and Privacy (EuroS&P), 1-16, 2017	31	2017
Optimal proximity proofs I Boureanu, S Vaudenay International Conference on Information Security and Cryptology, 170-190, 2014	31	2014
Challenges in distance bounding I Boureanu, S Vaudenay IEEE Security & Privacy 13 (1), 41-48, 2015	26	2015
A formal treatment of accountable proxying over TLS K Bhargavan, I Boureanu, A Delignat-Lavaud, PA Fouque, C Onete 2018 IEEE Symposium on Security and Privacy (SP), 799-816, 2018	23	2018
Srdjan capkun, Gerhard Hancke, Süleyman Kardas, Chong Hee Kim, Cédric Lauradoux G Avoine, MA Bingöl, I Boureanu Benjamin Martin, Jorge Munilla, Alberto Peinado, Kasper Bonne Rasmussen …, 2018	21	2018
Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016	15	2016
Automatic verification of epistemic specifications under convergent equational theories. I Boureanu, AV Jones, A Lomuscio AAMAS, 1141-1148, 2012	14	2012
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete FL Ţiplea, CV Bîrjoveanu, C Enea, I Boureanu Journal of Computer Security 16 (6), 689-712, 2008	13	2008
Practical & provably secure distance-bounding S Vaudenay, I Boureanu, A Mitrokotsa The 16th Information Security Conference 10, 978-3, 2013	9	2013
Security analysis and implementation of relay-resistant contactless payments I Boureanu, T Chothia, A Debant, S Delaune Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	8	2020
The limits of composable crypto with transferable setup devices I Boureanu, M Ohkubo, S Vaudenay Proceedings of the 10th ACM Symposium on Information, Computer and …, 2015	8	2015
On the need for secure distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay Early Symmetric Crypto (ESC) seminar, 2013	7	2013

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre les mises à jour de cet auteur

Citée par

Coauteurs