Ioana Boureanu - Google Scholar

Citée par

	Toutes	Depuis 2015
Citations	486	364
indice h	12	12
indice i10	14	13

100

200720082009201020112012201320142015201620172018201920203 3 2 8 4 7 29 54 71 52 48 96 74 23

Coauteurs

Serge VaudenayProfessor at EPFLAdresse e-mail validée de epfl.ch
Aikaterini (Katerina) MitrokotsaProfessor, Chalmers University of TechnologyAdresse e-mail validée de chalmers.se
Alessio R LomuscioImperial College LondonAdresse e-mail validée de imperial.ac.uk
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
Muhammed Ali BingolChief Researcher at TUBITAK BILGEM UEKAEAdresse e-mail validée de tubitak.gov.tr
Gildas AvoineINSA Rennes, IRISA UMR 6074, Université catholique de Louvain (ICTEAM, EPL)Adresse e-mail validée de irisa.fr
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Rolando Trujillo RasúaLecturer at Deakin UniversityAdresse e-mail validée de deakin.edu.au
Chong Hee KIMPrincipal Security evaluator of BrightsightAdresse e-mail validée de brightsight.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
David GERAULTLIMOSAdresse e-mail validée de etu.udamail.fr
Andrew V. JonesVector Software, Inc.Adresse e-mail validée de vectorcast.com
Sorin IfteneLecturer, Faculty of Computer Science, "Al.I.Cuza" University of IasiAdresse e-mail validée de info.uaic.ro
Asli BAYTubitakAdresse e-mail validée de tubitak.gov.tr
Benjamin Richard, Head of LabIRSN, PSN-EXP, SES, Structural Performance Modeling and Analysis LAbAdresse e-mail validée de irsn.fr
Pascal LafourcadeUniversité Clermont AuvergneAdresse e-mail validée de uca.fr

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	70	2015
Secure and lightweight distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay International Workshop on Lightweight Cryptography for Security and Privacy …, 2013	57	2013
Towards secure distance bounding I Boureanu, A Mitrokotsa, S Vaudenay International Workshop on Fast Software Encryption, 55-67, 2013	52	2013
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	31	2012
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	29	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	29	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	29	2005
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	22	2018
Optimal proximity proofs I Boureanu, S Vaudenay International Conference on Information Security and Cryptology, 170-190, 2014	22	2014
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	20	2017
Challenges in distance bounding I Boureanu, S Vaudenay IEEE Security & Privacy 13 (1), 41-48, 2015	17	2015
Automatic verification of epistemic specifications under convergent equational theories. I Boureanu, AV Jones, A Lomuscio AAMAS, 1141-1148, 2012	13	2012
Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016	12	2016
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	12	2008
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	9	2018
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
Practical & provably secure distance-bounding S Vaudenay, I Boureanu, A Mitrokotsa The 16th Information Security Conference 10, 978-3, 2013	7	2013
On the need for secure distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay Early Symmetric Crypto (ESC) seminar, 2013	7	2013
l, Ioana Boureanu, Srdjan Capkun, Gerhard P. Hancke, Süleyman Kardas, Chong Hee Kim, Cédric Lauradoux G Avoine, MA Bingö Benjamin Martin, Jorge Munilla, Alberto Peinado, Kasper Bonne Rasmussen …, 2019	5	2019
Model checking detectability of attacks in multiagent systems IC Boureanu, M Cohen, A Lomuscio Proceedings of the 9th International Conference on Autonomous Agents and …, 2010	5	2010

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

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs