1. POPL’24
    API-driven Program Synthesis for Testing Static Typing Implementations
    Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su
  2. 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


  1. Preprint’23
    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ù
  2. USENIX SEC’23
    The blockchain imitation game
    Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, and Arthur Gervais
  3. 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
  4. 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


  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
  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 🏆🏆


  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
  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 🏆


  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


  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