conf.researchr.org / Tobias Nießen
Registered user since Fri 15 Dec 2023
Name:Tobias Nießen
Country:Austria
Affiliation:TU Wien
GitHub: https://github.com/tniessen
Research interests:Verification, Bug Finding, Hyperproperties, Security, Cryptrography, Rust
Contributions