18,035 results found (page 4 of 1203)
https://2019.splashcon.org/details/splash-2019-Posters/44/Improving-Bug-Detection-via-Cont…

17:30 - 19:30 Poster Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters Poster Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Poster NAB: Automated Large-scale Multi-language Dynamic Progra…

https://2019.splashcon.org/details/splash-2019-Posters/12/Language-Parametric-Semantic-Edi…

17:30 - 19:30 Poster Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters Poster Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Poster NAB: Automated Large-scale Multi-language Dynamic Progra…

https://2019.splashcon.org/details/splash-2019-Posters/21/Certifying-Graph-Manipulating-C-…

17:30 - 19:30 Poster Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters Poster Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Poster NAB: Automated Large-scale Multi-language Dynamic Progra…