Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
3 research outcomes, page 1 of 1
  • software . 2020
    Open Source
    Authors:
    Lexi Brent; Neville Grech; Sifis Lagouvardos; Bernhard Scholz; Yannis Smaragdakis;
    Publisher: Zenodo
    Project: EC | PARSe (790340)

    <p>Artifact for the paper:</p> <p>Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities</p> <p>Lexi Brent,&nbsp;<em>Neville Grech</em>, Bernhard Scholz, and Yannis Smaragdakis</p> <p><em>In 41st ACM SIGPLAN Conference on Programming Language Design...

    Add to ORCID
  • software . 2020
    Open Source
    Authors:
    George Fourtounis; Yannis Smaragdakis;
    Publisher: Zenodo
    Project: EC | PARSe (790340), EC | SPADE (307334)

    <p>This artifact contains the evaluation benchmarks for the paper &quot;Deep Static Modeling of invokedynamic&quot; by G. Fourtounis and Y. Smaragdakis (ECOOP &#39;19).</p>

    Add to ORCID
  • software . 2016
    Open Source
    Authors:
    Tsakanikas, Panagiotis; Skaliora, Irini; Sigalas, Charalambos; Rigas, Pavlos;
    Publisher: Zenodo
    Project: EC | TRANSMED (245928)

    <p>Supplementary Material for the corresponding paper. Software, presentation and sample data. </p>

    Add to ORCID
3 research outcomes, page 1 of 1