Stefanos Chaliasos
Scholar

Stefanos Chaliasos

Google Scholar ID: ZuBDDpIAAAAJ
ZKSecurity and UCL
securityblockchainzkpsprogramming languagestesting
Citations & Impact
All-time
Citations
748
 
H-index
13
 
i10-index
13
 
Publications
20
 
Co-authors
19
list available
Resume (English only)
Academic Achievements
  • Paper 'SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs' accepted at USENIX Security’24 and to be presented at SBC conference
  • Paper 'Analyzing and Benchmarking ZK-Rollups' accepted at AFT’24
  • Paper 'zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs' accepted at SCN’24
  • Paper 'Finding Typing Compiler Bugs' received PLDI’22 Distinguished Paper Award and Best Artifact Award
  • ICSE 21 Best Artifact Award for 'Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems'
  • Doctoral Scholarship Award from Imperial College London
  • Served as PC member and external reviewer for top-tier conferences including CCS, USENIX Security, PLDI, FC, etc.