| 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 | 113 | 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 | 35 | 2023 |
| 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 | 31* | 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 | 22 | 2022 |
| 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 | 20 | 2023 |
| 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 | 20 | 2021 |
| 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 | 19 | 2021 |
| 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 | 15 | 2020 |
| 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 | 12 | 2023 |
| Do You Need a Zero Knowledge Proof? J Ernstberger, S Chaliasos, L Zhou, P Jovanovic, A Gervais Cryptology ePrint Archive, 2024 | 9 | 2024 |
| 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 | 7 | 2022 |
| 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 | 4 | 2024 |
| 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 | 3 | 2019 |
| Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations T Sotiropoulos, S Chaliasos, Z Su arXiv preprint arXiv:2311.04527, 2023 | 1 | 2023 |
| 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 |
Arthur GervaisProfessor of Information Security (UCL), Affiliate Faculty (UC Berkeley RDI)在 gervais.cc 的电子邮件经过验证
