Personal information

Activities

Collapse all

Employment (1)

Imperial College London: London, London, GB

2021-10-04 to present | PhD Student (Computing)
Employment
Source: Self-asserted source
Stefanos Chaliasos

Works (4)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

2024-02-06 | Conference paper
DOI: 10.1145/3597503.3623302
Contributors: Stefanos Chaliasos; Marcos Antonios Charalambous; Liyi Zhou; Rafaila Galanopoulou; Arthur Gervais; Dimitris Mitropoulos; Benjamin Livshits
Source: check_circle
Crossref

API-Driven Program Synthesis for Testing Static Typing Implementations

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
DOI: 10.1145/3632904
Contributors: Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su
Source: check_circle
Crossref

On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy

2023-04-30 | Conference paper
DOI: 10.1145/3543507.3583217
Contributors: Zhipeng Wang; Stefanos Chaliasos; Kaihua Qin; Liyi Zhou; Lifeng Gao; Pascal Berrang; Benjamin Livshits; Arthur Gervais
Source: check_circle
Crossref

A study of inline assembly in solidity smart contracts

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
DOI: 10.1145/3563328
Contributors: Stefanos Chaliasos; Arthur Gervais; Benjamin Livshits
Source: check_circle
Crossref
How many people are using ORCID?