publications

2026

  1. ASPLOS’26
    Evaluating Compiler Optimization Impacts on zkVM Performance
    Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, and Zhendong Su
    2026
    PDF

2025

  1. Preprint’25
    Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs via Value Inference
    Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, and Coen De Roover
    2025
    PDF
  2. PrePrint’25
    Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
    Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits, and Assimakis Kattis
    2025
    PDF
  3. MARBLE’25
    Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
    Stefanos Chaliasos, Sina Pilehchiha, Nicolas Mohnblatt, Assimakis Kattis, and Benjamin Livshits
    2025
    PDF
  4. FUZZING’25
    Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
    Stefanos Chaliasos, Imam Al-Fath, and Alastair Donaldson
    2025
    PDF
  5. CCS’25
    Towards a Formal Foundation for Blockchain Rollups
    Stefanos Chaliasos, Denis Firsov, and Benjamin Livshits
    2025
    PDF

2024

  1. USENIX SEC’24
    SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs
    Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, and Benjamin Livshits
    2024
    PDF Dataset
  2. AFT’24
    Analyzing and Benchmarking ZK-Rollups
    Stefanos Chaliasos, Itamar Reif, Adria Torralba-Agel, Jens Ernstberger, Assimakis Kattis, and Benjamin Livshits
    2024
    PDF
  3. CfC’24
    Do You Need a Zero Knowledge Proof?
    Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, and Arthur Gervais
    2024
    PDF
  4. SCN’24
    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, and Michele Orrù
    2024
    PDF Code Website
  5. POPL’24
    API-driven Program Synthesis for Testing Static Typing Implementations
    Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su
    2024
    PDF Code Artifact
  6. ICSE’24
    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, and Ben Livshits
    2024
    PDF Code Artifact

2023

  1. USENIX SEC’23
    The blockchain imitation game
    Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, and Arthur Gervais
    2023
    PDF
  2. SP’23
    SoK: Decentralized Finance (DeFi) Attacks
    Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, and Arthur Gervais
    2023
    PDF Website
  3. WWW’23
    On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy
    Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Ben Livshits, and Arthur Gervais
    2023
    PDF

2022

  1. OOPSLA’22
    A Study of Inline Assembly in Solidity Smart Contracts
    Stefanos Chaliasos, Arthur Gervais, and Ben Livshits
    In Proceedings of the ACM on Programming Languages 2022
    PDF Code DOI
  2. PLDI’22
    Finding Typing Compiler Bugs
    Stefanos Chaliasos*, Thodoris Sotiropoulos*, Diomidis Spinellis, Arthur Gervais, Ben Livshits, and Dimitris Mitropoulos
    In Proceedings of the 43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation 2022
    * Both authors contributed equal
    Distinguished Paper Award and Best Artifact Award 🏆🏆
    PDF Code Artifact Website DOI

2021

  1. OOPSLA’21
    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, and Diomidis Spinellis
    In Proceedings of the ACM on Programming Languages 2021
    * Both authors contributed equal
    PDF Code DOI
  2. ICSE’21
    Data-Oriented Differential Testing of Object-Relational Mapping Systems
    Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, and Diomidis Spinellis
    In 43rd International Conference on Software Engineering 2021
    Distinguished Artifact Award 🏆
    PDF Code Artifact DOI

2020

  1. OOPSLA’20
    A Model for Detecting Faults in Build Specifications
    Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis
    In Proceedings of the ACM on Programming Languages 2020
    PDF Code DOI

2019

  1. ESORICS’19
    Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks
    Stefanos Chaliasos, George Metaxopoulos, George Argyros, and Dimitris Mitropoulos
    In 24th European Symposium on Research in Computer Security 2019
    PDF DOI