D-405 (D-Block Seminar Room)
Secure Information Flow: Formal Modelling, Analysis and Practical Applications
Conflict-free Colouring and Art Gallery Problem
Safe Execution of (Untrusted) Applications Downloaded From the Internet
Bernoulli Factory
Parameterized Algorithms for Minimum Vertex Cover Problem
Hierarchical Coded Caching: Divide and Conquer
On the Group of Symmetries of the Rubik's Cube
First Order Logics Extended With Counting Quantifiers
Coverage and Capacity Analysis of mmWave Cellular Systems
Pages
