Pinned Repositories
benchmark
dogefuzz
Flexible fuzzer for detecting Smart Contract weaknesses
benchmark
PkiExpressJava
Source code for the maven package pki-express
RestPkiSamples
DirectedContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
medisco
Personal repository
medisco.github.io
portifolio
Portfolio site: https://ismaelmedeiros.github.io
JimpleFramework
A Rascal implementation of the Jimple framework.
medisco's Repositories
medisco/DirectedContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
medisco/medisco
Personal repository
medisco/medisco.github.io
medisco/portifolio
Portfolio site: https://ismaelmedeiros.github.io