Institute: E192 - Institute of Logic and Computation Division: E192-06 Security and Privacy Further search in the publications of: Niklas Grimm Division: E192-06 Security and Privacy Institute: E192 - Institute of Logic and Computation