Stefanos Chaliasos

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 26

Top Topics

Security Vulnerabilities

Terrorist Attacks

Contractual Obligations

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Stefanos Chaliasos, Denis Firsov, Benjamin Livshits
Towards a Formal Foundation for Blockchain Rollups. CoRR (2024)
Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
Do You Need a Zero Knowledge Proof? IACR Cryptol. ePrint Arch. 2024 (2024)
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. CoRR (2024)
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. 8 (POPL) (2024)
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? ICSE (2024)
Stefanos Chaliasos, Itamar Reif, Adrià Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits
Analyzing and Benchmarking ZK-Rollups. IACR Cryptol. ePrint Arch. 2024 (2024)
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs. USENIX Security Symposium (2024)
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. CoRR (2023)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. IACR Cryptol. ePrint Arch. 2023 (2023)
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
The Blockchain Imitation Game. USENIX Security Symposium (2023)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. WWW (2023)
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Ben Livshits
Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys. CoRR (2023)
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
The Blockchain Imitation Game. CoRR (2023)
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Attacks. SP (2023)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Attacks. IACR Cryptol. ePrint Arch. 2022 (2022)
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
Finding typing compiler bugs. PLDI (2022)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Incidents. CoRR (2022)
Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits
A study of inline assembly in solidity smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Ben Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. CoRR (2022)
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. ICSE (Companion Volume) (2021)
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
Data-Oriented Differential Testing of Object-Relational Mapping Systems. ICSE (2021)
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
Identifying Bugs in Make and JVM-Oriented Builds. CoRR (2020)
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis
A model for detecting faults in build specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Stefanos Chaliasos, George Metaxopoulos, George Argyros, Dimitris Mitropoulos
Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks. ESORICS (2) (2019)