Registered user since Mon 25 Jan 2016
Name:Bernhard Scholz
Affiliation:University of Sydney, Australia
Personal website:http://sydney.edu.au/engineering/people/bernhard.scholz.php
Contributions
| PLDI 2020 | Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities | ||||||||||||||||||||||||||||||||||||||||
| SOAP 2020 | Explaining Bug Provenance with Trace Witnesses Tool Talk: Soufflé | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile