Stefanos Chaliasos

According to our database, Stefanos Chaliasos authored at least 34 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Evaluating Compiler Optimization Impacts on zkVM Performance.

Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Evaluating Compiler Optimization Impacts on zkVM Performance.

Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su

Dataset, December, 2025

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups.

Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits, Assimakis Kattis

CoRR, September, 2025

Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs via Value Inference.

Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, Coen De Roover

IACR Cryptol. ePrint Arch., 2025

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups.

Stefanos Chaliasos, Sina Pilehchiha, Nicolas Mohnblatt, Assimakis Kattis, Benjamin Livshits

Proceedings of the Mathematical Research for Blockchain Economy: 6th International Conference, 2025

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper).

Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025

Towards a Formal Foundation for Blockchain ZK Rollups.

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

Proc. ACM Program. Lang., January, 2024

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

Stefanos Chaliasos, Marcos Antonions Charalambous, Liyi Zhou, Rafaila Galanopoulou, Dimitris Mitropoulos, Arthur Gervais, Benjamin Livshits

Dataset, January, 2024

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

Stefanos Chaliasos, Marcos Antonions Charalambous, Liyi Zhou, Rafaila Galanopoulou, Dimitris Mitropoulos, Arthur Gervais, Benjamin Livshits

Dataset, January, 2024

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

Stefanos Chaliasos, Marcos Antonions Charalambous, Liyi Zhou, Rafaila Galanopoulou, Dimitris Mitropoulos, Arthur Gervais, Benjamin Livshits

Dataset, January, 2024

Do You Need a Zero Knowledge Proof?

Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, Arthur Gervais

IACR Cryptol. ePrint Arch., 2024

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups.

Stefanos Chaliasos, Nicolas Mohnblatt, Assimakis Kattis, Benjamin Livshits

CoRR, 2024

Towards a Formal Foundation for Blockchain Rollups.

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits

CoRR, 2024

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs.

Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits

Proceedings of the 33rd USENIX Security Symposium, 2024

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs.

Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

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

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Analyzing and Benchmarking ZK-Rollups.

Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits

Proceedings of the 6th Conference on Advances in Financial Technologies, 2024

2023

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

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Dimitris Mitropoulos, Arthur Gervais, Benjamin Livshits

Dataset, December, 2023

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

CoRR, 2023

Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys.

Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Ben Livshits

CoRR, 2023

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

Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais

Proceedings of the ACM Web Conference 2023, 2023

The Blockchain Imitation Game.

Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais

Proceedings of the 32nd USENIX Security Symposium, 2023

SoK: Decentralized Finance (DeFi) Attacks.

Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

A study of inline assembly in solidity smart contracts.

Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits

Proc. ACM Program. Lang., 2022

SoK: Decentralized Finance (DeFi) Incidents.

Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais

CoRR, 2022

Finding typing compiler bugs.

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Artifact: Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers.

Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis

Dataset, September, 2021

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

Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis

Proc. ACM Program. Lang., 2021

Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems.

Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Data-Oriented Differential Testing of Object-Relational Mapping Systems.

Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

A model for detecting faults in build specifications.

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

Proc. ACM Program. Lang., 2020

Identifying Bugs in Make and JVM-Oriented Builds.

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

CoRR, 2020

2019

Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks.

Stefanos Chaliasos, George Metaxopoulos, George Argyros, Dimitris Mitropoulos

Proceedings of the Computer Security - ESORICS 2019, 2019