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/androguard
Reverse engineering, Malware and goodware analysis of Android applications ... and more (ninja !)
terry2012/android-browser-helper
The Android Browser Helper library helps developers use Custom Tabs and Trusted Web Activities on top of the AndroidX browser support library.
terry2012/apollo
An open autonomous driving platform
terry2012/badssl.com
:lock: Memorable site for testing clients against bad SSL configs.
terry2012/ccr
Reproducibility instructions for CCR paper on TLS 1.3 evolution
terry2012/crix
Detect missing check bugs in OS kernels
terry2012/crylogger
CRYLOGGER: Detecting Crypto Misuses for Android and Java Apps Dynamically
terry2012/cwa-app-android
Native Android app using the Apple/Google exposure notification API.
terry2012/cwa-app-ios
Native iOS app using the exposure notification framework from Apple.
terry2012/cwa-server
Backend implementation for the Apple/Google exposure notification API.
terry2012/cwa-testresult-server
Backend implementation of the test result information.
terry2012/cwa-verification-server
Backend implementation of the verification process
terry2012/cwa-website
Corona-Warn-App website
terry2012/DeepBinDiff
Official repository for DeepBinDiff
terry2012/droplet-engine
Droplet: Decentralized Authorization for IoT Data Streams
terry2012/find-sec-bugs
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
terry2012/FISCO-BCOS
A consortium blockchain platform (联盟区块链底层技术平台)
terry2012/HyperService-Language
This is the repository to host the code for hslang parsing and code generation.
terry2012/ipfs-cluster
Pinset orchestration for IPFS
terry2012/loomchain
Loom DAppChain Engine
terry2012/mitmproxy
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
terry2012/mobileinsight-dev
Automated Deployment for MobileInsight Development Environment
terry2012/MutAPK
Enabling Mutation Testing for Android Apps over APK files
terry2012/OASIS
Onsite Analysis Infrastructure
terry2012/pdid
Password-authenticated Decentralized Identities
terry2012/pentest-guide
Penetration tests guide based on OWASP including test cases, resources and examples.
terry2012/PrivacyGuard
PrivacyGuard is a platform that combines blockchain smart contract and TEE to enable transparent enforcement of private data computation and fine-grained usage control. This repo includes prototype implementation and evaluation programs.
terry2012/teaching
My most recent teaching materials for 2017-2020 courses (50.574, 50.520, 51.502, 50.037).
terry2012/TxSpector
terry2012/WebGoat
WebGoat is a deliberately insecure application