Publications

An up-to-date list is on Google Scholar.

Preprints

• The Anonymity Gap: Understanding Real Privacy in Shielded UTXO-Based Protocols for DeFi
  Hanze Guo, Stefanos Chaliasos, Yebo Feng, Jiahua Xu
  Preprint Best Paper Award, Nanyang Blockchain Conference 2026
  PDF
• ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges
  Arman Kolozyan, Tom Sorger, Alex Hicks, Stefanos Chaliasos
  Preprint
  PDF
• Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
  Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits, Assimakis Kattis
  Preprint Also presented at TLDR Conference'25
  PDF

2026

• Evaluating Compiler Optimization Impacts on zkVM Performance
  Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su
  ASPLOS 2026 Also presented at ZKProof 8
  PDF
• 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
  IEEE S&P 2026 Also presented at SBC'26, ZKProof 8
  PDF

2025

• Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
  Stefanos Chaliasos, Imam Al-Fath, Alastair Donaldson
  FUZZING Workshop 2025
  PDF
• Towards a Formal Foundation for Blockchain Rollups
  Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
  ACM CCS 2025 Also presented at ZKProof 7
  PDF

2024

• Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
  Stefanos Chaliasos, Sina Pilehchiha, Nicolas Mohnblatt, Assimakis Kattis, Benjamin Livshits
  MARBLE 2024
  PDF
• SoK: What Don't We Know? Understanding Security Vulnerabilities in SNARKs
  Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
  USENIX Security 2024 Also presented at SBC'24, ZKProof 6, zkSummit 10, Monerokon'24, Devcon'24
  PDFDataset
• Analyzing and Benchmarking ZK-Rollups
  Stefanos Chaliasos, Itamar Reif, Adria Torralba-Agel, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits
  AFT 2024 Also presented at zkSummit 12
  PDF
• Do You Need a Zero Knowledge Proof?
  Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
  CfC 2024
  PDF
• 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ù
  SCN 2024
  PDFCodeWebsite
• API-Driven Program Synthesis for Testing Static Typing Implementations
  Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
  POPL 2024
  PDFCodeArtifact
• 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, Benjamin Livshits
  ICSE 2024 Also presented at SBC'23
  PDFCodeArtifact

2023

• The Blockchain Imitation Game
  Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
  USENIX Security 2023 Also presented at SBC'23
  PDF
• 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
  IEEE S&P 2023 Also presented at SBC'22
  PDFWebsite
• 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
  WWW 2023
  PDF

2022

• A Study of Inline Assembly in Solidity Smart Contracts
  Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits
  OOPSLA 2022 Also presented at CESC'22
  PDFCodeDOI
• Finding Typing Compiler Bugs
  Stefanos Chaliasos*, Thodoris Sotiropoulos*, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
  PLDI 2022 Distinguished Paper Award and Best Artifact Award * equal contribution
  PDFCodeArtifactWebsiteDOI

2021

• Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
  Stefanos Chaliasos*, Thodoris Sotiropoulos*, Georgios-Petros Drosos, Charalampos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis
  OOPSLA 2021 * equal contribution
  PDFCodeDOI
• Data-Oriented Differential Testing of Object-Relational Mapping Systems
  Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
  ICSE 2021 Best Artifact Award
  PDFCodeArtifactDOI

2020

• A Model for Detecting Faults in Build Specifications
  Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
  OOPSLA 2020
  PDFCodeDOI

2019

• Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks
  Stefanos Chaliasos, George Metaxopoulos, George Argyros, Dimitris Mitropoulos
  ESORICS 2019
  PDFDOI