Research Areas Machine Learning Security Prof. Florian Tramer Blockchain Technology Prof. Srdjan Capkun Applied Cryptography Prof. Kenny Paterson Access control Prof. David Basin Secure Positioning and Localization Prof. Srdjan Capkun Sovereign Smartphone Prof. Shweta Shinde Future Internet Architecture SCION Prof. Adrian Perrig Smartphone Security Prof. Srdjan Capkun Monitoring Prof. David Basin Trusted Execution Beyond CPUs Prof. Shweta Shinde Security Protocol Verification Prof. David Basin