After spending time in industry working on building embedded Bluetooth devices, Dan's main research interests now focus around everything Bluetooth security, especially regarding identifying and proving protocol vulnerabilities. His main research area at the moment is focussing on formal modelling of various protocols related to Bluetooth.