London, UK

Stefanos Chaliasos

Expert
@StefanosChaliasos

PhD Student @Imperial College London / Security Researcher @zksecurity

stefanoschaliasos.github.io/

Awesome-ZKP-Security. A curated list of awesome security resources for ZK.

124

sc-defi-security. Solidity

17

zk-rollup-security. Alloy

13

evm-smart-contracts-similarity. Detect identical and similar smart contracts based on their bytecode

9

solidity-inline-assembly. Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".

8

zkrollup-benchmarking. Benchmark zkRollup implementations

8

agile-data-cleaning. Agile data cleaning with bash commands, python scripts and pandas library.

2

c-benchmark. c-benchmark

1

Intro_CS_Lab. Material for Introduction to Computer Science Labs

1

verificatum-docker-demo. This is an unofficial repository with a dummy demo on how to deploy verificatum mixnet with docker images

1
10
Apply