Stefanos Chaliasos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Evaluating Compiler Optimization Impacts on zkVM Performance. | Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su |
| 2026 | SP | Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference. | Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, Coen De Roover |
| 2025 | CCS | Towards a Formal Foundation for Blockchain ZK Rollups. | Stefanos Chaliasos, Denis Firsov, Benjamin Livshits |
| 2025 | ISSTA | Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). | Stefanos Chaliasos, Imam Al-Fath, Alastair F. Donaldson |
| 2024 | AFT | Analyzing and Benchmarking ZK-Rollups. | Stefanos Chaliasos, Itamar Reif, Adri Torralba-Agell, Jens Ernstberger, Assimakis Kattis, Benjamin Livshits |
| 2024 | ICSE | Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? | Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits |
| 2024 | SCN | 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, Michele Orr |
| 2023 | WWW | On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. | Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais |
| 2023 | SP | SoK: Decentralized Finance (DeFi) Attacks. | Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais |
| 2022 | PLDI | Finding typing compiler bugs. | Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos |
| 2021 | ICSE | Data-Oriented Differential Testing of Object-Relational Mapping Systems. | Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis |
| 2021 | ICSE | Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. | Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis |
| 2019 | ESORICS | Mime Artist: Bypassing Whitelisting for the Web with JavaScript Mimicry Attacks. | Stefanos Chaliasos, George Metaxopoulos, George Argyros, Dimitris Mitropoulos |