Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Roel Verdult

dblp:72/6709 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 10 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
6 papers
Cryptographic primitives and cryptanalysis · 36% Cyber-physical and IoT security · 20% Hardware security and side channels · 15%
Computer networks
1 paper
Cellular and mobile networks · 100%

Topics — the 12 heaviest of 14, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic primitives and cryptanalysis
stream cipher cryptanalysis
0.322015
Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards · CCS 2015
Wirelessly Pickpocketing a Mifare Classic Card · SP 2009
Cyber-physical and IoT security
automotive security
0.322013
Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer · USENIX Security Symposium 2013
Gone in 360 Seconds: Hijacking with Hitag2 · USENIX Security Symposium 2012
Cryptographic primitives and cryptanalysis › cryptanalysis
cipher cryptanalysis
0.322013
Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer · USENIX Security Symposium 2013
Gone in 360 Seconds: Hijacking with Hitag2 · USENIX Security Symposium 2012
Cellular and mobile networks
cellular network security
0.212015
Defeating IMSI Catchers · CCS 2015
Network security › attack modeling
ciphertext-only attack
0.212015
Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards · CCS 2015
Privacy and data protection
location privacy
0.212015
Defeating IMSI Catchers · CCS 2015
Hardware security and side channels › cryptographic hardware
smart card security
0.212015
Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards · CCS 2015
Cyber-physical and IoT security
embedded system security
0.112010
Dismantling SecureMemory, CryptoMemory and CryptoRF · CCS 2010
Cryptographic primitives and cryptanalysis
stream cipher
0.112010
Dismantling SecureMemory, CryptoMemory and CryptoRF · CCS 2010
Hardware security and side channels
side-channel attack
0.112009
Wirelessly Pickpocketing a Mifare Classic Card · SP 2009
Authentication and access control
mobile authentication
0.112015
Defeating IMSI Catchers · CCS 2015
Authentication and access control › user authentication
smart card authentication
0.012009
Wirelessly Pickpocketing a Mifare Classic Card · SP 2009

Methods — techniques the papers use, named apart from their topics

proverif · 0.4formal verification · 0.4key recovery · 0.2keystream correlation analysis · 0.1brute-force attack · 0.1man-in-the-middle attack · 0.1known-plaintext attack · 0.1
YearPublicationVenuePosition
2015 PIE: Parser Identification in Embedded Systems
abstract
Embedded systems are responsible for the security and safety of modern societies, controlling the correct operation of cars and airplanes, satellites and medical equipment, military units and all critical infrastructures. Being integrated in large and complex environments, embedded systems need to support several communication protocols to interact with other devices or with their users. Interestingly, embedded software often implements protocols that deviate from their original specifications. Some are extended with additional features, while others are completely undocumented. Furthermore, embedded parsers often consist of complex C code which is optimized to improve performance and reduce size. However, this code is rarely designed with security in mind, and often lacks proper input validation, making those devices vulnerable to memory corruption attacks. Furthermore, most embedded designs are closed source and third party security evaluations are only possible by looking at the binary firmware.
Lucian Cojocar, Jonas Zaddach, Roel Verdult, Herbert Bos, Aurélien Francillon, Davide Balzarotti
ACSAC3
2015 Defeating IMSI Catchers
abstract
IMSI catching is a problem on all generations of mobile telecommunication networks, i.e., 2G (GSM, GPRS), 3G (HDSPA, EDGE, UMTS) and 4G (LTE, LTE+). Currently, the SIM card of a mobile phone has to reveal its identity over an insecure plaintext transmission, before encryption is enabled. This identifier (the IMSI) can be intercepted by adversaries that mount a passive or active attack. Such identity exposure attacks are commonly referred to as 'IMSI catching'. Since the IMSI is uniquely identifying, unauthorized exposure can lead to various location privacy attacks. We propose a solution, which essentially replaces the IMSIs with changing pseudonyms that are only identifiable by the home network of the SIM's own network provider. Consequently, these pseudonyms are unlinkable by intermediate network providers and malicious adversaries, and therefore mitigate both passive and active attacks, which we also formally verified using ProVerif. Our solution is compatible with the current specifications of the mobile standards and therefore requires no change in the infrastructure or any of the already massively deployed network equipment. The proposed method only requires limited changes to the SIM and the authentication server, both of which are under control of the user's network provider. Therefore, any individual (virtual) provider that distributes SIM cards and controls its own authentication server can deploy a more privacy friendly mobile network that is resilient against IMSI catching attacks.
Fabian van den Broek, Roel Verdult, Joeri de Ruiter
CCS2
2015 Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards
abstract
Despite a series of attacks, MIFARE Classic is still the world's most widely deployed contactless smartcard on the market. The Classic uses a proprietary stream cipher CRYPTO1 to provide confidentiality and mutual authentication between card and reader. However, once the cipher was reverse engineered, many serious vulnerabilities surfaced. A number of passive and active attacks were proposed that exploit these vulnerabilities. The most severe key recovery attacks only require wireless interaction with a card. System integrators consider such card-only attacks as one of the most serious threat vectors to their MIFARE Classic-based systems, since it allows the adversary to avoid camera detection, which is often present at an access control entrance or public transport gate. However, all card-only attacks proposed in the literature depend on implementation mistakes which can easily be mitigated without breaking backwards compatibility with the existing reader infrastructure. Consequently, many manufactures and system integrators started to deploy "fixed" MIFARE Classic cards which are resilient to such vulnerabilities. However, these countermeasures are rather palliating and inadequate for a cryptographically insecure cipher such as CRYPTO1. In support of this proposition, we present a novel cipher-text card-only attack that exploits a crucial and mandatory step in the authentication protocol and which solely depends on the cryptographic weaknesses of the CRYPTO1 cipher. Hence, in order to avoid this attack, all cards and readers should be upgraded to support an alternative authentication protocol which inherently breaks their backwards compatibility. Our attack requires only a few minutes of wireless interaction with the card, in an uncontrolled environment and can be performed with consumer-grade hardware. The information obtained allows an adversary to drop the computational complexity from 2^48 to approximately 2^30, which enabled us to practically recover a secret key from a hardened MIFARE Classic card in about 5 minutes on an single core consumer laptop.
Carlo Meijer, Roel Verdult
CCS2
2013 Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer
Roel Verdult, Flavio D. Garcia, Baris Ege
USENIX Security Symposium1
2012 Power Analysis of Atmel CryptoMemory - Recovering Keys from Secure EEPROMs
Josep Balasch, Benedikt Gierlichs, Roel Verdult, Lejla Batina, Ingrid Verbauwhede
CT-RSA3
2012 Dismantling iClass and iClass Elite
Flavio D. Garcia, Gerhard de Koning Gans, Roel Verdult, Milosch Meriac
ESORICS3
2012 Gone in 360 Seconds: Hijacking with Hitag2
Roel Verdult, Flavio D. Garcia, Josep Balasch
USENIX Security Symposium1
2010 Dismantling SecureMemory, CryptoMemory and CryptoRF
abstract
The Atmel chip families SecureMemory, CryptoMemory, and CryptoRF use a proprietary stream cipher to guarantee authenticity, confidentiality, and integrity. This paper describes the cipher in detail and points out several weaknesses. One is the fact that the three components of the cipher operate largely independently; another is that the intermediate output generated by two of those components is strongly correlated with the generated keystream. For SecureMemory, a single eavesdropped trace is enough to recover the secret key with probability 0.57 in 2^{39} cipher ticks. This is a factor of 2^{31.5} faster than a brute force attack. On a 2 GHz laptop, this takes around 10 minutes. With more traces, the secret key can be recovered with virtual certainty without significant additional cost in time. For CryptoMemory and CryptoRF, if one has 2640 traces it is possible to recover the key in 2^{52} cipher ticks, which is 2^{19} times faster than brute force. On a 50 machine cluster of 2 GHz quad-core machines this would take less than 2 days.
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
CCS3
2009 Wirelessly Pickpocketing a Mifare Classic Card
abstract
The Mifare Classic is the most widely used contactless smartcard on the market. The stream cipher CRYPTO1 used by the classic has recently been reverse engineered and serious attacks have been proposed. The most serious of them retrieves a secret key in under a second. In order to clone a card, previously proposed attacks require that the adversary either has access to an eavesdropped communication session or executes a message-by-message man-in-the-middle attack between the victim and a legitimate reader. Although this is already disastrous from a cryptographic point of view, system integrators maintain that these attacks cannot be performed undetected.This paper proposes four attacks that can be executed by an adversary having only wireless access to just a card (and not to a legitimate reader). The most serious of them recovers a secret key in less than a second on ordinary hardware. Besides the cryptographic weaknesses, we exploit other weaknesses in the protocol stack. A vulnerability in the computation of parity bits allows an adversary to establish a side channel. Another vulnerability regarding nested authentications provides enough plaintext for a speedy known-plaintext attack.
Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur
SP3
2008 Dismantling MIFARE Classic
Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs 0001
ESORICS5