Seuraa
Stefanos Chaliasos
Stefanos Chaliasos
PhD student, Imperial College London
Vahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1772023
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
60*2023
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
542023
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
342023
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
292021
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
242022
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
222021
zk-bench: A toolset for comparative evaluation and performance benchmarking of snarks
J Ernstberger, S Chaliasos, G Kadianakis, S Steinhorst, P Jovanovic, ...
International Conference on Security and Cryptography for Networks, 46-72, 2024
212024
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
182020
Do You Need a Zero Knowledge Proof?
J Ernstberger, S Chaliasos, L Zhou, P Jovanovic, A Gervais
Cryptology ePrint Archive, 2024
172024
SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
S Chaliasos, J Ernstberger, D Theodore, D Wong, M Jahanara, B Livshits
33rd USENIX Security Symposium (USENIX Security 24), 3855--3872, 2024
142024
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
132022
Analyzing and Benchmarking ZK-Rollups
S Chaliasos, I Reif, A Torralba-Agell, J Ernstberger, A Kattis, B Livshits
In 6th Conference on Advances in Financial Technologies (AFT 2024) 316, 6:1-6:24, 2024
72024
Towards a Formal Foundation for Blockchain Rollups
S Chaliasos, D Firsov, B Livshits
arXiv preprint arXiv:2406.16219, 2024
42024
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
42019
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
12024
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
T Sotiropoulos, S Chaliasos, Z Su
arXiv preprint arXiv:2311.04527, 2023
12023
Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
S Chaliasos, N Mohnblatt, A Kattis, B Livshits
arXiv preprint arXiv:2410.13277, 2024
2024
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–18