Stefanos Chaliasos

PhD student, Imperial College London, London, UK

Stefanos Chaliasos is a PhD candidate at Imperial College London advised by Dr Ben Livshits, Professor Alastair F. Donaldson, and also externally advised by Dr Arthur Gervais. He holds an MSc in Computer Science from the National and Kapodistrian University of Athens and a BSc in Management Science and Technology from the Athens University of Economics and Business.

He has previously worked as an R&D Engineer in Veridise Inc. developing automated techniques for testing arithmetic circuits implementing zero-knowledge proofs. Furthermore, he worked in the industry as a software engineer at Greek Research and Technology Network (GRNET) and as a researcher in the FASTEN project.

His main research interests involve Blockchain Security, Software Testing, Program Analysis, and Programming Languages.

News

Jan 25, 2023 Our paper “On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy” has been accepted at WWW 2023.
Jan 18, 2023 Our paper “SoK: Decentralized Finance (DeFi) Attacks” has been accepted at S&P 2023.
Oct 1, 2022 I will serve on the Usenix Security 2023 Artifact Evaluation Committee.
Sep 10, 2022 I will attend Dagstuhl DeFi Security Seminar on October 2022.

Selected Publications

  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. 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
  3. 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
  4. 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

Activities

PC Member

  • 2023: POPL (Artifact Evaluation Committee), USENIX Security (Artifact Evaluation Committee), ECOOP (Extended Review Committee & AEC).
  • 2022: PLDI (Artifact Evaluation Committee), OSDI (Artifact Evaluation Committee), ATC (Artifact Evaluation Committee)
  • 2021: OOPSLA (Artifact Evaluation Committee)

External Reviewer/Subreviewer

  • 2021: EUROSEC, ESEC/FSE (Industry Track)
  • 2020: EUROSEC, MSR

Awards and Honours

  • Doctoral Scholarship Award, Imperial College London

  • ICSE 21 Best Artifact Award for “Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems”

  • PLDI’22 Distinguished Paper Award for “Finding Typing Compiler Bugs”

  • PLDI’22 Best Artifact Award for “Finding Typing Compiler Bugs”

Talks

  • ESORICS (2019): Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks

  • OOPSLA (2021): Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

  • Thesis Presentation @UOA (2021): A Study of Typing-Related Bugs in JVM Compilers

  • PLDI/SIGPLAN Track (2022): Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

  • Seminar Presentation @BALAB (2022): Decentralized Finance and Empirical Studies in Solidity Smart Contracts

  • Dagstuhl Seminar on DeFi Security (2022): Finding Bugs in zkEVMs

  • Crypto Economics Security Conference (2022): A Study of Inline Assembly in Solidity Smart Contracts

  • OOPSLA (2022): A Study of Inline Assembly in Solidity Smart Contracts