Follow
Stefanos Chaliasos
Stefanos Chaliasos
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
Sok: Decentralized finance (defi) attacks
L Zhou, X Xiong, J Ernstberger, S Chaliasos, Z Wang, Y Wang, K Qin, ...
2023 IEEE Symposium on Security and Privacy (SP), 2444-2461, 2023
1122023
On how zero-knowledge proof blockchain mixers improve, and worsen user privacy
Z Wang, S Chaliasos, K Qin, L Zhou, L Gao, P Berrang, B Livshits, ...
Proceedings of the ACM Web Conference 2023, 2022-2032, 2023
352023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
S Chaliasos, MA Charalambous, L Zhou, R Galanopoulou, A Gervais, ...
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE …, 2023
28*2023
Finding typing compiler bugs
S Chaliasos, T Sotiropoulos, D Spinellis, A Gervais, B Livshits, ...
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
222022
Data-oriented differential testing of object-relational mapping systems
T Sotiropoulos, S Chaliasos, V Atlidakis, D Mitropoulos, D Spinellis
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
202021
The blockchain imitation game
K Qin, S Chaliasos, L Zhou, B Livshits, D Song, A Gervais
32nd USENIX Security Symposium (USENIX Security 23), 3961-3978, 2023
192023
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
S Chaliasos, T Sotiropoulos, GP Drosos, C Mitropoulos, D Mitropoulos, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
192021
A model for detecting faults in build specifications
T Sotiropoulos, S Chaliasos, D Mitropoulos, D Spinellis
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
132020
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs
J Ernstberger, S Chaliasos, G Kadianakis, S Steinhorst, P Jovanovic, ...
Cryptology ePrint Archive, 2023
122023
Do You Need a Zero Knowledge Proof?
J Ernstberger, S Chaliasos, L Zhou, P Jovanovic, A Gervais
Cryptology ePrint Archive, 2024
92024
A study of inline assembly in solidity smart contracts
S Chaliasos, A Gervais, B Livshits
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1123-1149, 2022
72022
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
S Chaliasos, J Ernstberger, D Theodore, D Wong, M Jahanara, B Livshits
arXiv preprint arXiv:2402.15293, 2024
32024
Mime artist: Bypassing whitelisting for the web with javascript mimicry attacks
S Chaliasos, G Metaxopoulos, G Argyros, D Mitropoulos
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
32019
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
T Sotiropoulos, S Chaliasos, Z Su
arXiv preprint arXiv:2311.04527, 2023
12023
Towards a Formal Foundation for Blockchain Rollups
S Chaliasos, D Firsov, B Livshits
arXiv preprint arXiv:2406.16219, 2024
2024
API-Driven Program Synthesis for Testing Static Typing Implementations
T Sotiropoulos, S Chaliasos, Z Su
Proceedings of the ACM on Programming Languages 8 (POPL), 1850-1881, 2024
2024
Analyzing and Benchmarking ZK-Rollups
S Chaliasos, I Reif, A Torralba-Agell, J Ernstberger, A Kattis, B Livshits
Cryptology ePrint Archive, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–17