talk – Chalmers Security Seminar
Mutational fuzzing is a powerful tool to detect vulnerabilities in software...
Read More ›talk – Chalmers Security Seminar
For several decades, researchers from different communities have independently focused on protecting confidentiality of data. Two distinct technologies have emerged for such purposes: Mandatory Access Control (MAC) and Information-Flow Control (IFC)—the former belonging to operating systems (OS) research, while the latter to the programming languages community.
Read More ›talk – Chalmers Security Seminar
This talk is supposed to give an overview of the state of the art in the area of Homomorphic Encryption (HE) and Multi-Linear Maps (MLM). The final section of the talk will deal with the definition and application of indistinguishable Obfuscation.
Read More ›talk – Chalmers Security Seminar
In this talk, I will present two ongoing projects on the formal verification of security properties for mobile and web applications.
Read More ›talk – Chalmers Security Seminar
I will sketch the techniques that anonymize data through generalization, record splitting (disassociation) and algorithms that work on tree-structured data.
Read More ›