Security and Privacy Group
> Zum Inhalt

Technische Universität Wien
Institut of Logic and Computation 192/6
Abteilung für Security and Privacy
 

Favoritenstrasse 9-11
Steige 2, 1. Stock 
A-1040, Wien

Telefone: +43 (1)58801 184164
Email: clara (dot) schneidewind (at) tuwien (dot) ac (at) 

Scientific Service

External reviewer for IEEE S&P (2017), CANS (2017) and IEEE EuroS&P (2018).

Research

My recent research interest is blockchain technology (Ethereum).

Publications 

A Semantic for the Security Analysis of Ethereum smart contracts

Ilya Grishchenko, Clara Schneidewind, and Matteo Maffei
In Proceedings of 7th International Conference on Principles of Security and Trust (POST 2018). pdf technical report

Foundations and tools for the static analysis of Ethereum smart contracts

Ilya Grishchenko, Clara Schneidewind, and Matteo Maffei
In Proceedings of 30th International Conference on Computer Aided Verification (CAV 2018, invited contribution). pdf

Talks

Towards Security Analysis of Ethereum Smart contracts (pdf)

(Given at Purdue University on March 19th, 2018) 

Foundations and tools for the static analysis of Ethereum smart contracts (pdf)

(Tutorial at CAV 2018)