Name:Tobias Nießen

Country:Austria

Affiliation:TU Wien

Research interests:Verification, Bug Finding, Hyperproperties, Security, Cryptrography, Rust