StefanosChaliasos

PhD Student @Imperial College London / Security Researcher @zksecurity

Imperial College LondonLondon, UK

Pinned Repositories

cscout
C code refactoring browser
Language:C194 14 3835
fasten
Analyse package dependency networks at the call graph level
Language:Java90 10 23328
hephaestus
A framework for testing compilers' type checkers
Language:Python49 4 3310
Awesome-ZKP-Security
A curated list of awesome security resources for ZK.
62 4 03
evm-smart-contracts-similarity
Detect identical and similar smart contracts based on their bytecode
Language:Go8 1 00
sc-defi-security
Language:Solidity13 3 14
solidity-inline-assembly
Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".
Language:Python8 1 00
zk-rollup-security
Language:Alloy5 3 00
cynthia
Data-Oriented Differential Testing of ORM Systems.
Language:Scala14 6 171
zk-Harness
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Language:Python96 10 2114

StefanosChaliasos's Repositories

StefanosChaliasos/Awesome-ZKP-Security
A curated list of awesome security resources for ZK.
62 4 03
StefanosChaliasos/sc-defi-security
Language:Solidity13 3 14
StefanosChaliasos/evm-smart-contracts-similarity
Detect identical and similar smart contracts based on their bytecode
Language:Go8 1 00
StefanosChaliasos/solidity-inline-assembly
Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".
Language:Python8 1 00
StefanosChaliasos/zk-rollup-security
Language:Alloy5 3 00
StefanosChaliasos/zkrollup-benchmarking
Benchmark zkRollup implementations
Language:Python4 3 21
StefanosChaliasos/c-benchmark
c-benchmark
Language:Python1 2 01
StefanosChaliasos/dithesis
Thesis class for undergraduate theses at the University of Athens
Language:TeX1 1 00
StefanosChaliasos/bls
A simple Python implementation of threshold BLS signatures.
Language:Python1 0
StefanosChaliasos/circom
zkSnark circuit compiler
Language:Rust0 0
StefanosChaliasos/circom_runtime
circom runtime
Language:Assembly0 0
StefanosChaliasos/cscout
C code refactoring browser
Language:C
StefanosChaliasos/density
Superfast compression library
Language:C1 0
StefanosChaliasos/fluffy-go-ethereum
Official Go implementation of the Ethereum protocol
Language:Go0 0
StefanosChaliasos/halo2
Language:Rust0 0
StefanosChaliasos/nightfall
Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks
Language:JavaScript0 0
StefanosChaliasos/pandar
Fast multiplications
Language:Python2 0
StefanosChaliasos/slither
Static Analyzer for Solidity
Language:Python0 0
StefanosChaliasos/smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Language:Python0 0
StefanosChaliasos/solidity
Solidity, the Smart Contract Programming Language
Language:C++0 0
StefanosChaliasos/sqlalchemy
The Database Toolkit for Python
Language:Python1 0
StefanosChaliasos/tg
telegram-cli
Language:C1 0
StefanosChaliasos/trace-dumper
Language:Solidity0 0
StefanosChaliasos/web
BALab web site
Language:TeX1 0
StefanosChaliasos/zeus
Zeus server
Language:Python1 0
StefanosChaliasos/zkalc
A web tool that helps you compare and visualize the performance of cryptographic operations
Language:JavaScript0 0
StefanosChaliasos/zkevm-specs
Language:Python0 0
StefanosChaliasos/zkp-tests
Playing with zero-knowledge proof languages
Language:Solidity0 0
StefanosChaliasos/zksync-era
zkSync era
Language:Rust0 0
StefanosChaliasos/zksync-web-era-docs
zkSync Era Documentation
Language:JavaScript0 0