Accés ràpid intranet

Més informació...

a a a

Deim Seminar


Is Eve nearby? Analysing protocols under the distant-attacker assumption


Dr. Rolando Trujillo

Professor/a organitzador/a

Josep Domingo Ferrer




04-10-2022 11:00


Various modern protocols tailored to emerging wireless networks, such as body area networks, rely on the proximity and honesty of devices within the network to achieve their security goals. However, there does not exist a security framework that supports the formal analysis of such protocols, leaving the door open to unexpected flaws. In this talk I'll present such a security framework, show how it can be implemented in the protocol verification tool TAMARIN, and use it to find previously unknown vulnerabilities on two recent key exchange protocols. Short bio: Dr. Rolando Trujillo is a Ramon y Cajal researcher at Rovira i Virgili University (URV). Prior to joining the URV, he held a senior lecturer position at Deakin University (Australia) and a postdoctoral position at the University of Luxembourg. His research interests span the areas of formal methods, computer security and privacy protection. His work appears in the most important publication venues in those areas, such as ACM CCS, S&P, ESORICS and CSF, and has received more than twice as many citations than the global average (based on the field-weighted citation impact by Scopus).


Lab 231