group

Group description.

I lead the group for Formal Security Engineering at MPI-SP. This page is currently under construction. For more information, head to my page at MPI-SP.