Pinned Repositories
2048
N-Tuple Networks for the Game 2048
857final
mining contract logs for attacks
a3e
Automatic Android App Explorer
android-a2p
Android API to Permission Mapping Extractor
BlueBorneVulnScanner
A brief analysis of the BlueBorne Vulnerability Scanner app by Armis
EthIR
A framework for high-level Analysis of Ethereum Bytecode
project
BovInspector is an automatic buffer overflow inspection and repair tool for C programs. It's built on Ubuntu, relies on LLVM, KLEE and Fortify. BovInspector consists of four main components: warning reachability analysis, guided symbolic execution, buffer overflow validation, and targeted automatic repair. After BovInspector’s execution, it outputs validated buffer overflow report and repaired source code.
StaDynA
StaDynA: A tool to address the problem of dynamic code updates in the security analysis of Android applications
STAnalyzer
Static Analysis framework for analyzing SmartApps on Samsung SmartThings platforms written in Groovy
terry2012's Repositories
terry2012/aml_tutorial
terry2012/AndroidLintSecurityChecks
terry2012/ase2015_stringanalysis
terry2012/CDA
Characterising Deprecated Android APIs
terry2012/code2vec
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
terry2012/crashmonkey
CrashMonkey and Ace (OSDI18)
terry2012/erays
Ethereum smart contract reverse engineering
terry2012/eth-reentrancy-attack-patterns
Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"
terry2012/flutter
Flutter makes it easy and fast to build beautiful mobile apps.
terry2012/jadx
Dex to Java decompiler
terry2012/jax
GPU- and TPU-backed NumPy with differentiation and JIT compilation.
terry2012/LTEInspector
Models, properties, and write-up of LTEInspector (NDSS'18)
terry2012/memes_pipeline
Memes Processing Pipeline that enables the track of memes across multiple Web communities.
terry2012/mesapy
A Fast and Safe Python based on PyPy
terry2012/MobiHoc-2019
terry2012/Mobile-Security-Framework-MobSF
Mobile Security Framework is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing framework capable of performing static analysis, dynamic analysis, malware analysis and web API testing.
terry2012/MySlide
terry2012/Obscuro
Obscuro: A Secure and Anonymous Bitcoin Mixer using SGX
terry2012/pixeldp
terry2012/pwn2own2018
A Pwn2Own exploit chain
terry2012/pycrate
A Python library to ease the development of encoders and decoders for various protocols and file formats; contains ASN.1 and CSN.1 compilers.
terry2012/REarby
Toolkit developed to reverse engineer Google's Nearby Connections API
terry2012/SPDS-experiments
terry2012/token-core-android
a blockchain private key management library on android
terry2012/token-core-ios
a blockchain private key management library on iOS
terry2012/token-profile
Blockchain coin and token profile collection
terry2012/unimobile
UniMobile: a collection of cross-app mobile search queries
terry2012/uSearch
An Android app aimed for research on Unified Mobile Search, developed at Università della Svizzera italiana (USI), Lugano, Switzerland.
terry2012/virtualbox_e1000_0day
VirtualBox E1000 Guest-to-Host Escape
terry2012/Wi-Fi-Calling-scource-code
Wi Not Calling: Practical Privacy and Availability Attacks in Wi-Fi Calling