Pinned Repositories
17TeamB_blade
Contractfuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
FairCon
Franklinliu.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
InvCon-Tool
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
InvConPlus-Tool
SpCon-Artifact
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
FairCon
Fairness Verification of Smart Contracts
vultron
Dynamic Vulnerability Discovery for Smart Contracts
Franklinliu's Repositories
Franklinliu/SpCon-Artifact
Franklinliu/InvCon-Tool
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
Franklinliu/InvConPlus-Tool
Franklinliu/2022-05-opensea-seaport
Franklinliu/Franklinliu.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Franklinliu/Academic_Smart_Contract_Papers
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
Franklinliu/agis-engine
Franklinliu/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Franklinliu/awesome-sgx
A curated list of SGX code and resources.
Franklinliu/awesome-solidity
⟠ A curated list of awesome Solidity resources, libraries, tools and more
Franklinliu/Azure-blockchain
Azure Blockchain Content and Samples
Franklinliu/code423n4.com
code423n4.com source code
Franklinliu/cv
Geoff Boeing's academic CV in LaTeX
Franklinliu/EIPs
The Ethereum Improvement Proposal repository
Franklinliu/ens
Implementations for ENS core functionality: The registry, registrars, and public resolvers.
Franklinliu/gscholar
Query Google Scholar with Python
Franklinliu/MetaTrust-Test
This is a repo for meta trust tests
Franklinliu/mintframework
A framework for inference and testing of software behaviour.
Franklinliu/private-data-objects
The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.
Franklinliu/PyPaperBot
PyPaperBot is a Python tool for downloading scientific papers using Google Scholar, Crossref, and SciHub.
Franklinliu/QEReport
Franklinliu/slither
Static Analyzer for Solidity
Franklinliu/smart-contract-sanctuary
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Franklinliu/soltype-artifact-public
Franklinliu/symcc
SymCC: efficient compiler-based symbolic execution
Franklinliu/synoptic
Inferring models of systems from observations of their behavior
Franklinliu/Tokens
Tokens, Tokens, Tokens
Franklinliu/TOSEM-SmCon
Franklinliu/VeriSmart-benchmarks
Franklinliu/XBlock-ETH
Extracting and Exploring Blockchain Data from Ethereum