talk – Chalmers Security Seminar

Verification of differential private computationss

Differential privacy is a statistical notion of privacy which achieves compelling trade-offs between input privacy and accuracy (of outputs). Differential privacy is also an attractive target for verification...

Read More ›

talk – Chalmers Security Seminar

Privacy engineering: from the building blocks to the system

This talk will be about privacy engineering, a field mainly concerned with techniques, methods, and tools to systematically take into account and address privacy issues when building a system.

Read More ›

talk – Chalmers Security Seminar

Frozen Realms: draft standard support for safer JavaScript plugins

Support ultra-fine-grain protection domains in JavaScript. Minimizing standardization, development, explanation, and runtime costs.

Read More ›

talk – Chalmers Security Seminar

Architectural requirements for language-level control of external timing channels

A promising new approach to controlling timing channels relies on distinguishing between the direct timing dependencies that are visible at the program control flow level, and the indirect timing dependencies that typically have architectural nature.

Read More ›

talk – Chalmers Security Seminar

Security of login pages on the Web: who else can know your password?

Most people with an online presence these days, store large amounts of information about their lives in online web services: e-mails, pictures, medical information, ... To prevent unauthorised access to their personal

Read More ›