Image of Tobias Nießen

Tobias Nießen (he/him)

Formal Security Engineering

Tobias Nießen is a PhD student at TU Wien in Austria and a researcher intern at MPI-SP in Bochum, where his research focuses on information flow security and hyperproperties.

Web-View
Print Page
Open in new window
Estimated DIN-A4 page-width
Go to Editor View