Loading view.
CS Forum: “Improving real-world systems security: is formal verification of software the answer?” Paul Van Oorschot
CS forum is a seminar series arranged at the CS department […]
HAIC talks: “The Advertisement Exchange: How to Develop Agile Cryptographic Support for an Evolving Ecosystem?” Moti Yung
HAIC Talks is a series of public lectures on contemporary topics […]
HAIC talks: “Science of Security—Theory vs. Measuring the Observable World” Paul van Oorschot
HAIC Talks is a series of public lectures on contemporary topics […]
Secure Systems Demo Day 2018
This event is jointly organized by the Secure Systems Group at […]
Defence of dissertation in the field of computer science, Eric Malmi, M.Sc.(Tech)
Entity Resolution Methods Infer a Family Tree of Five Million People […]