Pinned Repositories
droid-perm
eth2.0-spec-tests
Common tests for all Eth2.0 implementations
eth2.0-specs
Ethereum 2.0 Specifications
firefox-to-wikidpad
A tool to automatically import firefox bookmarks into wikidpad
javadoc-perm-miner
kevm-verify-benchmarks
Micro benchmarks for EVM contract verification using K
safe-contracts
Gnosis Safe allows secure management of blockchain assets.
soot
Soot - A Java optimization framework
soot-infoflow
Data flow tracking components for Java
soot-infoflow-android
Android-specific components of FlowDroid
denis-bogdanas's Repositories
denis-bogdanas/droid-perm
denis-bogdanas/eth2.0-spec-tests
Common tests for all Eth2.0 implementations
denis-bogdanas/eth2.0-specs
Ethereum 2.0 Specifications
denis-bogdanas/firefox-to-wikidpad
A tool to automatically import firefox bookmarks into wikidpad
denis-bogdanas/javadoc-perm-miner
denis-bogdanas/kevm-verify-benchmarks
Micro benchmarks for EVM contract verification using K
denis-bogdanas/safe-contracts
Gnosis Safe allows secure management of blockchain assets.
denis-bogdanas/soot
Soot - A Java optimization framework
denis-bogdanas/soot-infoflow
Data flow tracking components for Java
denis-bogdanas/soot-infoflow-android
Android-specific components of FlowDroid
denis-bogdanas/soot-infoflow-android-iccta
Inter-component communication Taint Analysis for Android
denis-bogdanas/verified-smart-contracts
Smart contracts which are formally verified
denis-bogdanas/vyper
New experimental programming language