Pinned Repositories
atva-demo
AVTA
bmad
Macaw Binary Analysis
Coding_in_Math
Icy beauty of mathematics
cypress
Cypress @ Stevens website
darksea
LTL verification on lifted binaries.
dsr
Project implementations for Data Science and Machine Learning Bootcamp with R
Sensitive_API_Monitor
Android Dynamic Monitor
drnla
Dual Rewriting for Branching-Time Verification of Nonlinear Programs
participant-talks-2018
Slides from evening short presentations given by OPLSS 2018 attendees
cyruliu's Repositories
cyruliu/Sensitive_API_Monitor
Android Dynamic Monitor
cyruliu/darksea
LTL verification on lifted binaries.
cyruliu/atva-demo
cyruliu/AVTA
cyruliu/bmad
Macaw Binary Analysis
cyruliu/Coding_in_Math
Icy beauty of mathematics
cyruliu/cypress
Cypress @ Stevens website
cyruliu/dsr
Project implementations for Data Science and Machine Learning Bootcamp with R
cyruliu/sv-benchmarks
Collection of Verification Tasks
cyruliu/dynamite
A dynamic analyzer for proving program termination and non-termination.
cyruliu/FoxDec
Formally verified x86-64 decompilation
cyruliu/function
cyruliu/leetcode-python
cyruliu/llvm-tcfa
Translate LLVM IR into Control Flow Automaton.
cyruliu/oplss-notes-2018
Notes and handouts from OPLSS 2018
cyruliu/participant-talks-2018
Slides from evening short presentations given by OPLSS 2018 attendees
cyruliu/plutus-pioneer-program
cyruliu/ReflectionEX
This project shows simple function of Android refection
cyruliu/reopt
A tool for analyzing x86-64 binaries.
cyruliu/ROPgadget
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectures.
cyruliu/Route_Planning
This program is to help tourists allot their attractions route based on the user data
cyruliu/securitydr
Road map to security engineer/analyst.
cyruliu/servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
cyruliu/Simple-Firewall
A simple firewall for advanced algorithm course
cyruliu/termx
Binary Verification
cyruliu/trump2cash
A stock trading bot powered by Trump tweets
cyruliu/ultimate
cyruliu/Xposed
The native part of the Xposed framework (mainly the modified app_process binary).
cyruliu/XposedBridge