Stefanos Chaliasos (@StefanosChaliasos)
github

StefanosChaliasos

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

Awesome-ZKP-Security

A curated list of awesome security resources for ZK.
19
star
2

sc-defi-security

Solidity
10
star
3

solidity-inline-assembly

Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".
Python
7
star
4

evm-smart-contracts-similarity

Detect identical and similar smart contracts based on their bytecode
Go
5
star
5

zk-rollup-security

Alloy
5
star
6

types-bug-study-artifact

Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".
Python
3
star
7

agile-data-cleaning

Agile data cleaning with bash commands, python scripts and pandas library.
Jupyter Notebook
2
star
8

zkrollup-benchmarking

Benchmark zkRollup implementations
Python
2
star
9

c-benchmark

c-benchmark
Python
1
star
10

verificatum-docker-demo

This is an unofficial repository with a dummy demo on how to deploy verificatum mixnet with docker images
Python
1
star
11

Intro_CS_Lab

Material for Introduction to Computer Science Labs
HTML
1
star