activity
20042023
most citedProbabilistic Anonymity and Admissible Schedulers

22 citations · 30 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CR2023★ 1 cited

Watching your call: Breaking VoLTE Privacy in LTE/5G Networks

Zishuai Cheng, Mihai Ordean, Flavio D. Garcia +2

Voice over LTE (VoLTE) and Voice over NR (VoNR) are two similar technologies that have been widely deployed by operators to provide a better calling experience in LTE and 5G networ…

cs.CR2022

MetaEmu: An Architecture Agnostic Rehosting Framework for Automotive Firmware

Zitai Chen, Sam L. Thomas, Flavio D. Garcia

In this paper we present MetaEmu, an architecture-agnostic emulator synthesizer geared towards rehosting and security analysis of automotive firmware. MetaEmu improves over existin…

cs.CR2022★ 3 cited

Millimeter-Wave Automotive Radar Spoofing

Mihai Ordean, Flavio D. Garcia

Millimeter-wave radar systems are one of the core components of the safety-critical Advanced Driver Assistant System (ADAS) of a modern vehicle. Due to their ability to operate eff…

cs.CR2008★ 4 cited

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…

cs.CR2007★ 22 cited

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…

cs.CR2004

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…