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.
|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.|
SP’23SoK: Decentralized Finance (DeFi) Attacks2023
OOPSLA’22A Study of Inline Assembly in Solidity Smart ContractsIn Proceedings of the ACM on Programming Languages 2022
PLDI’22Finding Typing Compiler BugsIn Proceedings of the 43nd ACM SIGPLAN International Conference on Programming Language Design and Implementation 2022Distinguished Paper Award and Best Artifact Award 🏆🏆
ICSE’21Data-Oriented Differential Testing of Object-Relational Mapping SystemsIn 43rd International Conference on Software Engineering 2021Distinguished Artifact Award 🏆
- 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)
- 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”
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