Contact the uploader of record "eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts (artifacts)"

By filling out and submitting the following form, you can send an email to the record's uploader, Markus Scherer.

Your name

Your email address

Inquiry message

I accept that my name and email address will be sent to the record's uploader so that they can reply to me

Type the text

Submit Back to the record