andripol

Pinned Repositories

AoC2020
Language:Python00
AoC_2019
Language:Python01
bing-wallpaper
A little tool to automatically set your wallpaper to the current Bing image.
Language:Python00
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML00
jupyter-test
Language:Jupyter Notebook00
nipopow-velvet
A paper on the provable security of NIPoPoWs in the velvet fork model
Language:TeX00
simplified-distributed-bank-system
Language:Java01
souffle-lang.github.io
Soufflé
Language:HTML00
thesis
Master thesis on NIPoPoWs under a velvet fork
Language:TeX71
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML293 18 3561

andripol's Repositories

andripol/thesis
Master thesis on NIPoPoWs under a velvet fork
Language:TeX71
andripol/AoC2020
Language:Python00
andripol/AoC_2019
Language:Python01
andripol/bing-wallpaper
A little tool to automatically set your wallpaper to the current Bing image.
Language:Python00
andripol/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML00
andripol/jupyter-test
Language:Jupyter Notebook00
andripol/nipopow-velvet
A paper on the provable security of NIPoPoWs in the velvet fork model
Language:TeX00
andripol/simplified-distributed-bank-system
Language:Java01
andripol/souffle-lang.github.io
Soufflé
Language:HTML00