muellerberndt/research2019 muellerberndt/research2019

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
muellerberndt/research2019
github

muellerberndt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Links for the Research Meetup

More Repositories

1

mini-agi

MiniAGI is a simple general-purpose autonomous agent based on the OpenAI API.
Python
2,729
star
2

android_app_security_checklist

Android App Security Checklist
831
star
3

frida-detection

A couple of methods for detecting Frida on Android.
C
412
star
4

awesome-mythx-smart-contract-security-tools

A curated list of resources and tools for the MythX smart contract security API
245
star
5

apkx

One-Step APK Decompilation With Multiple Backends
Python
235
star
6

smashing-smart-contracts

Compiled writings on EVM smart contracts security analysis.
HTML
168
star
7

scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.
Python
145
star
8

laser-ethereum

Symbolic virtual machine for Ethereum
Python
68
star
9

sabre

Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
JavaScript
60
star
10

darwin-gpt

A minimal self-replicating agent based on GPT-3.5/4
Python
58
star
11

obfuscation-metrics

Processes and metrics for assessing obfuscation effectiveness
55
star
12

rektosaurus

A test suite to check for client-side script injection on websites that display NFTs.
PostScript
53
star
13

defi-hacking-playground

All the money legos. This is not meant for production use.
Solidity
32
star
14

solfuzz

Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
JavaScript
30
star
15

uncrackable_app

Mobile Crackmes
C
13
star
16

King-of-Pi

Who has the fastest algorithm for computing Pi?
Python
6
star
17

ladybug-love2d

A LÖVE port of the classic Arcade game Ladybug.
Lua
4
star
18

vulnerable-truffle-project

JavaScript
3
star
19

mythril-ci

Mythril CI Docker
Python
3
star
20

mancala-deepq

Solving the ancient game of Mancala with deep Q learning
Python
2
star
21

memetic-natural-selection

The algorithm that creates all of Reality
1
star
22

mythx-api-curl

Shell scripts to run curl to interface with the MythX security platform (https://mythx.io)
Shell
1
star
23

solc-imports-test

1
star
24

ethereumanalysisbenchmarks.github.io

Web site to display Benchmark results see https://EthereumAnalysisBenchmarks.github.io
HTML
1
star
25

mythos-playground

Practice playground for smart contract security analysis with Mythos
1
star