Dominik Bollmann

  • Citations Per Year
Learn More
Patrick Boba, Dominik Bollmann, Daniel Schoepe, Nora Wester, Jan Wiesel and Kay Hamacher* 1 Computational Biology and Simulation, Department of Biology, Technical University Darmstadt, Darmstadt, Germany 2 Department of Computer Science, Technical University Darmstadt, Darmstadt, Germany 3 Department of Physics, Technical University Darmstadt, Darmstadt,(More)
Type-based information-flow analyses provide strong end-toend confidentiality guarantees for programs. Yet, such analyses are not easy to use in practice, as they require all information containers in a program to be annotated with security types, which is a tedious and error-prone task — if done manually. In this article, we propose a new algorithm for(More)
  • 1