talk – Chalmers Security Seminar

Trusted Execution Environments for Privacy-preserving Cloud Applications

An overview of popular trusted execution environments (TEEs), with special emphasis on Intel's SGX. Read More ›

talk – Chalmers Security Seminar

CLIO: Cryptographically Secure Information Flow Control on Key-Value Stores

Cryptography can in principle be used to protect users' data when stored or transmitted, but in practice is error-prone and can potentially result in a violation of a user's security concerns. Read More ›

talk – Chalmers Security Seminar

Historical Analyses of the Client-Side Web Security and How to tell people they have an issue

To better understand how the eco system evolved, we conducted a historical study of the last 20 years of the Web using data from the Internet Archive... Read More ›

talk – Chalmers Security Seminar

Recent work on probabilistic programming languages

In the first half of the talk, we will describe a semantics for these languages based on Type-2 ... Read More ›

talk – Chalmers Security Seminar

Privacy and security threat modeling: current research directions

Threat analysis is the cornerstone of security-by-design and privacy-by-design approaches for building more secure and privacy-friendly software systems Read More ›