22 citations · 26 across the 3 of their papers we have counts for
3 papers · 1 filter
A Practical Attack on the MIFARE Classic
Gerhard de Koning Gans, Jaap-Henk Hoepman, Flavio D. Garcia
The MIFARE Classic is the most widely used contactless smart card in the market. Its design and implementation details are kept secret by its manufacturer. This paper studies the a…
Probabilistic Anonymity and Admissible Schedulers
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
When studying safety properties of (formal) protocol models, it is customary to view the scheduler as an adversary: an entity trying to falsify the safety property. We show that in…
Spam filter analysis
Flavio D. Garcia, Jaap-Henk Hoepman
Unsolicited bulk email (aka. spam) is a major problem on the Internet. To counter spam, several techniques, ranging from spam filters to mail protocol extensions like hashcash, hav…