Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication
Baseband attacks: remote exploitation of memory corruptions in cellular protocol stacks