publications

2023

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

2022

  1. OOPSLA’22
    A Study of Inline Assembly in Solidity Smart Contracts
    Chaliasos Stefanos, Gervais Arthur, and Livshits Ben
    In Proceedings of the ACM on Programming Languages 2022
    PDF Code DOI
  2. PLDI’22
    Finding Typing Compiler Bugs
    Chaliasos Stefanos*, Sotiropoulos Thodoris*, Spinellis Diomidis, Gervais Arthur, Livshits Ben, and Mitropoulos Dimitris
    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 DOI

2021

  1. OOPSLA’21
    Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
    Chaliasos Stefanos*, Sotiropoulos Thodoris*, Drosos Georgios-Petros, Mitropoulos Charalampos, Mitropoulos Dimitris, and Spinellis Diomidis
    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
    Sotiropoulos Thodoris, Chaliasos Stefanos, Atlidakis Vaggelis, Mitropoulos Dimitris, and Spinellis Diomidis
    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
    Sotiropoulos Thodoris, Chaliasos Stefanos, Mitropoulos Dimitris, and Spinellis Diomidis
    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
    Chaliasos Stefanos, Metaxopoulos George, Argyros George, and Mitropoulos Dimitris
    In 24th European Symposium on Research in Computer Security 2019
    PDF DOI