Provable Security Researchers Roberto Guanciale associate professor robertog@kth.se , +4687906937 Profile Henrik Karlsson doctoral student henrik10@kth.se Profile
