Not registered as user yet

Name:Oana-Fabiana Andreescu
Affiliation:Internet of Trust

Contributions

POPL 2019 Author of Inferring Frame Conditions with Static Correlation Analysis within the Research Papers-track