Author

Stefanos Chaliasos

h-index 15 View on Semantic Scholar

We have 2 of 28 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Jul 2026

ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges

Light is shed on the state of ZKP security tooling and the need for better integration of security tooling with the development and auditing process is highlighted, and actionable insights are provided for researchers and practitioners.

Arman Kolozyan, Tom Sorger, A. Hicks et al. · arXiv.org · 1 citation

Preprint Aug 2026

The Anonymity Gap: Understanding Real Privacy in Shielded UTXO-based Protocols for DeFi

A layered system model and an analysis pipeline that uses prior history as the temporal baseline, applies cumulative pruning and cross-proof propagation to each proof's Commitment Set, and recursively traces the survivors through historical hidden-state transitions to derive the final transaction-level Anonymity Set Si...

Hanze Guo, Stefanos Chaliasos, Yebo Feng et al. · 0 citations