Ioana Boureanu

Dikutip oleh

	Semua	Sejak 2020
Kutipan	938	454
indeks-h	16	13
indeks-i10	21	16

140

105

20072008200920102011201220132014201520162017201820192020202120222023202420253 3 2 7 5 8 30 55 76 51 44 108 74 82 98 53 78 130 13

Akses publik

Lihat semua

21 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Serge VaudenayProfessor at EPFLEmail yang diverifikasi di epfl.ch
Aikaterini (Katerina) MitrokotsaProfessor, University of St. GallenEmail yang diverifikasi di unisg.ch
Pascal LafourcadeUniversité Clermont AuvergneEmail yang diverifikasi di uca.fr
Alessio R LomuscioImperial College LondonEmail yang diverifikasi di imperial.ac.uk
David GERAULTTechnology Innovation Institute (TII)Email yang diverifikasi di tii.ae
Tom ChothiaUniversity of BirminghamEmail yang diverifikasi di cs.bham.ac.uk
Liqun ChenProfessor, University of Surrey, UKEmail yang diverifikasi di surrey.ac.uk
Gildas AvoineINSA Rennes, IRISA, CNRSEmail yang diverifikasi di irisa.fr
Muhammed Ali BingolCryptographerEmail yang diverifikasi di dmu.ac.uk
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
Rolando Trujillo RasúaRamon i Cajal ResearcherEmail yang diverifikasi di urv.cat
Chong Hee KIMPrincipal SoC Security Assessor at NXPEmail yang diverifikasi di nxp.com
Süleyman KardaşAssist. Prof. at Batman UniversityEmail yang diverifikasi di batman.edu.tr
Dave SingeleeKatholieke Universiteit Leuven - COSICEmail yang diverifikasi di esat.kuleuven.be
Jorge MunillaProfessor of Telecommunication Engineering, University of MalagaEmail yang diverifikasi di ic.uma.es
Kasper RasmussenUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Karthikeyan BhargavanINRIAEmail yang diverifikasi di inria.fr
Pierre-Alain FouqueProfessor of Computer Science, Rennes University, IRISA, Institut Universitaire de FranceEmail yang diverifikasi di ens.fr
Andrew V. JonesVector Software, Inc.Email yang diverifikasi di vectorcast.com
Asli BAYAntalya Bilim UniversitesiEmail yang diverifikasi di antalya.edu.tr

Ikuti

Ioana Boureanu

Professor, University of Surrey

Email yang diverifikasi di surrey.ac.uk - Beranda

Provable Security Security Verification Formal Verification Applied Cryptography


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	104	2018
Practical and provably secure distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay Journal of Computer Security 23 (2), 229-257, 2015	98	2015
Towards secure distance bounding I Boureanu, A Mitrokotsa, S Vaudenay International workshop on fast software encryption, 55-67, 2013	69	2013
Secure and lightweight distance-bounding I Boureanu, A Mitrokotsa, S Vaudenay International workshop on lightweight cryptography for security and privacy …, 2013	63	2013
The bussard-bagga and other distance-bounding protocols under attacks A Bay, I Boureanu, A Mitrokotsa, I Spulber, S Vaudenay Information Security and Cryptology: 8th International Conference, Inscrypt …, 2013	42	2013
On the pseudorandom function assumption in (secure) distance-bounding protocols: PRF-ness alone does not stop the frauds! I Boureanu, A Mitrokotsa, S Vaudenay International Conference on Cryptology and Information Security in Latin …, 2012	40	2012
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	39	2017
Weighted threshold secret sharing based on the Chinese remainder theorem S Iftene, IC Boureanu	39	2005
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	38	2018
Optimal proximity proofs I Boureanu, S Vaudenay International Conference on Information Security and Cryptology, 170-190, 2014	35	2014
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	34	2009
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	33	2018
Challenges in distance bounding I Boureanu, S Vaudenay IEEE Security & Privacy 13 (1), 41-48, 2015	33	2015
Practical EMV relay protection AI Radu, T Chothia, CJP Newton, I Boureanu, L Chen 2022 IEEE Symposium on Security and Privacy (SP), 1737-1756, 2022	23	2022
Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016	21	2016
Automatic verification of epistemic specifications under convergent equational theories. I Boureanu, AV Jones, A Lomuscio AAMAS, 1141-1148, 2012	19	2012
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	14	2020
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	14	2008
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment O Blazy, I Boureanu, P Lafourcade, C Onete, L Robert 32nd USENIX Security Symposium (USENIX Security 23), 5917-5934, 2023	13	2023
Extensive security verification of the LoRaWAN key-establishment: Insecurities & patches S Wesemeyer, I Boureanu, Z Smith, H Treharne 2020 IEEE European Symposium on Security and Privacy (EuroS&P), 425-444, 2020	13	2020

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama