Stefanos Chaliasos

According to our database, Stefanos Chaliasos authored at least 23 papers between 2019 and 2024.

Collaborative distances:

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

2024

API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

Proc. ACM Program. Lang., January, 2024

Do You Need a Zero Knowledge Proof?

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

IACR Cryptol. ePrint Arch., 2024

Analyzing and Benchmarking ZK-Rollups.

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

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

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

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

IACR Cryptol. ePrint Arch., 2023

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ù

IACR Cryptol. ePrint Arch., 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

The Blockchain Imitation Game.

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

Proceedings of the 32nd USENIX Security Symposium, 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) Attacks.

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

IACR Cryptol. ePrint Arch., 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