Concepedia

Stefanos Chaliasos

SC

8

Publications

341

Citations

8

H-Index

2020

Active since

Affiliations

Imperial College London(Current)

Athens University of Economics and Business

National and Kapodistrian University of Athens

University of California, Berkeley

Delft University of Technology

Stefanos Chaliasos is an author at Imperial College London specializing in software engineering, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2020–2024

8

Publications

8

SoK: Decentralized Finance (DeFi) Attacks

Liyi Zhou, Xihan Xiong, Jens Ernstberger et al. · 2023 · 151 citations

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

Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin et al. · 2023 · 47 citations

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

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou et al. · 2024 · 44 citations · Full text

, , +24

Finding typing compiler bugs

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis et al. · 2022 · 26 citations

, , +19

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos et al. · Proceedings of the ACM on Programming Languages · 2021 · 23 citations · Full text

, , +21

Rows per page

1–5 of 8