talk – Chalmers Security Seminar

SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting

As messaging applications are becoming increasingly popular, it is of utmost importance to analyze their security and mitigate existing weaknesses. This paper focuses on one of the most acclaimed messaging applications: Signal. Read More ›

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 ›