Stefanos Chaliasos
- SoK: Decentralized Finance (DeFi) Attacks
2022/08/27 by Liyi Zhou, Xihan Xiong, Zhou, Liyi +17 · 16 citations
Business, Management and Accounting · Computer Science · Social Sciences · #Blockchain Technology Applications and Security #Crime, Illicit Activities, and Governance #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance
- Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
2023/11/08 by Thodoris Sotiropoulos, Stefanos Chaliasos, Sotiropoulos, Thodoris +3 · 1 voice
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
- SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
2024/02/23 by Stefanos Chaliasos, Chaliasos, Stefanos, Jens Ernstberger +9 · 5 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection
- On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy
2022/01/22 by Zhipeng Wang, Stefanos Chaliasos, Wang, Zhipeng +13 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data
- ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges
2026/07/26 by Arman Kolozyan, Tom Sorger, Alexander Hicks +1
#cs.CR