Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks. - Stefanos Chaliasos; George Metaxopoulos; George Argyros; Dimitris Mitropoulos (ESORICS (2), 2019)

Identifying Bugs in Make and JVM-Oriented Builds. - Thodoris Sotiropoulos; Stefanos Chaliasos; Dimitris Mitropoulos; Diomidis Spinellis (CoRR, 2020)

A model for detecting faults in build specifications. - Thodoris Sotiropoulos; Stefanos Chaliasos; Dimitris Mitropoulos; Diomidis Spinellis (Proc. ACM Program. Lang., 2020)

Data-Oriented Differential Testing of Object-Relational Mapping Systems. - Thodoris Sotiropoulos; Stefanos Chaliasos; Vaggelis Atlidakis; Dimitris Mitropoulos; Diomidis Spinellis (ICSE, 2021)

Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. - Thodoris Sotiropoulos; Stefanos Chaliasos; Vaggelis Atlidakis; Dimitris Mitropoulos; Diomidis Spinellis (ICSE (Companion Volume), 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)

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 (Zenodo, 2021)

Finding typing compiler bugs. - Stefanos Chaliasos; Thodoris Sotiropoulos; Diomidis Spinellis; Arthur Gervais; Benjamin Livshits; Dimitris Mitropoulos (PLDI, 2022)

SoK: Decentralized Finance (DeFi) Incidents. - Liyi Zhou; Xihan Xiong; Jens Ernstberger; Stefanos Chaliasos; Zhipeng Wang 009; Ye Wang 017; Kaihua Qin; Roger Wattenhofer; Dawn Song; Arthur Gervais (CoRR, 2022)

SoK: Decentralized Finance (DeFi) Attacks. - Liyi Zhou; Xihan Xiong; Jens Ernstberger; Stefanos Chaliasos; Zhipeng Wang 009; Ye Wang 017; Kaihua Qin; Roger Wattenhofer; Dawn Song; Arthur Gervais (IACR Cryptol. ePrint Arch., 2022)

A study of inline assembly in solidity smart contracts. - Stefanos Chaliasos; Arthur Gervais; Benjamin Livshits (Proc. ACM Program. Lang., 2022)

The Blockchain Imitation Game. - Kaihua Qin; Stefanos Chaliasos; Liyi Zhou; Benjamin Livshits; Dawn Song; Arthur Gervais (USENIX Security Symposium, 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)

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (CoRR, 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)

On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. - Zhipeng Wang 009; Stefanos Chaliasos; Kaihua Qin; Liyi Zhou; Lifeng Gao; Pascal Berrang; Benjamin Livshits; Arthur Gervais (IACR Cryptol. ePrint Arch., 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 (Zenodo, 2023)

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 (ICSE, 2024)

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 Symposium, 2024)

Towards a Formal Foundation for Blockchain Rollups. - Stefanos Chaliasos; Denis Firsov; Benjamin Livshits (CoRR, 2024)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups. - Stefanos Chaliasos; Nicolas Mohnblatt; Assimakis Kattis; Benjamin Livshits (CoRR, 2024)

Analyzing and Benchmarking ZK-Rollups. - Stefanos Chaliasos; Itamar Reif; Adrià Torralba-Agell; Jens Ernstberger; Assimakis Kattis; Benjamin Livshits (IACR Cryptol. ePrint Arch., 2024)

Do You Need a Zero Knowledge Proof? - Jens Ernstberger; Stefanos Chaliasos; Liyi Zhou; Philipp Jovanovic; Arthur Gervais (IACR Cryptol. ePrint Arch., 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 (Zenodo, 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 (Zenodo, 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 (Zenodo, 2024)

API-Driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). - Stefanos Chaliasos; Imam Al-Fath; Alastair F. Donaldson (ISSTA Companion, 2025)