Cyrille Artho -

Registered user since Wed 28 Feb 2018

Name:Cyrille Artho

Affiliation:KTH Royal Institute of Technology, Sweden

Personal website: https://people.kth.se/~artho/

Contributions

2025

AST

Committee Member in Program Committee within the AST 2025-track

SANER

Author of ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis within the Tool Demo Track -track

2024

ASE

Author of Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs within the NIER Track-track
Author of HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts within the Tool Demonstrations-track

ICST

Author of In industrial embedded software, are some compilation errors easier to localize and fix than others? within the Industry-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2024-track

AST

Committee Member in Program Committee within the AST 2024-track

SANER

Author of From Creation to Exploitation: The Oracle Lifecycle within the Workshops and Tutorials Track -track

2023

NWPT

FTSCS

AST

Committee Member in Program Committee within the AST 2023-track

2022

FTSCS

SPLASH

Organizer of Formal Techniques for Safety-Critical Systems (FTSCS) within the Workshops-track

ASE

ISSTA

Author of Finding Permission Bugs in Smart Contracts with Role Mining within the Technical Papers-track

ICSE

Committee Member in Program Committee within the Posters-track

2021

Blockchain Software Engineering

Author of Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning within the Second Blockchain Software Engineering Workshop-track

2020

IWCT

Author of Toward an Encoding Approach to Interaction-based Test Suite Minimization within the IWCT 2020-track

ISSTA

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ICSE

Committee Member in Program Committee within the New Ideas and Emerging Results-track

2019

ASE

JPF

Co-chair in Organizing Committee within the JPF 2019-track

2018

JPF

Committee Member in Program Committee within the JPF-track

VORTEX

Committee Member in Program Committee within the VORTEX-track