Page not found. Your pixels are in another canvas.
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
This is a page not in th emain menu
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage Through Backup Channels on Android
BLESA: Spoofing Attacks against Reconnections in Bluetooth Low Energy
BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks
Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through Companion Apps
LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks
PaddyFrog: systematically detecting confused deputy vulnerability in Android applications
ProFactory: Improving IoT Security via Formalized Protocol Customization
Automatically Detecting SSL Error-Handling Vulnerabilities in Hybrid Mobile Web Apps
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms
A short demo for BLESA against an Oura Ring.
BLESA CSAW 2020 Talk
BlueShield RAID 2020 Talk
LightBlue USENIX Security 2021 Talk
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.