Research Areas Machine Learning Security Prof. Florian Tramer Decentralized Systems 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 Trusted Computing Prof. Srdjan Capkun Monitoring Prof. David Basin Trusted Execution Beyond CPUs Prof. Shweta Shinde Security Protocol Verification Prof. David Basin