Pinned Repositories
aarch64-cpu
Low level access to processors using the AArch64 execution state.
acmicpc
android-interview-questions
Your Cheat Sheet For Android Interview - Android Interview Questions
codejam
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
fscq
FSCQ is a certified file system written and proven in Coq
interviews
Everything you need to know to get the job.
multiverse
A static binary rewriter that does not use heuristics
obfusion
Obfusion - C++ X86 Code Obfuscation Library
ppsspp
A PSP emulator for Android, Windows, Mac and Linux, written in C++. Want to contribute? Join us on Discord at https://discord.gg/5NJB6dD or in #ppsspp on freenode (IRC) or just send pull requests / issues. For discussion use the forums on ppsspp.org.
risa243's Repositories
risa243/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
risa243/aarch64-cpu
Low level access to processors using the AArch64 execution state.
risa243/acmicpc
risa243/android-interview-questions
Your Cheat Sheet For Android Interview - Android Interview Questions
risa243/codejam
risa243/fscq
FSCQ is a certified file system written and proven in Coq
risa243/interviews
Everything you need to know to get the job.
risa243/multiverse
A static binary rewriter that does not use heuristics
risa243/obfusion
Obfusion - C++ X86 Code Obfuscation Library
risa243/ppsspp
A PSP emulator for Android, Windows, Mac and Linux, written in C++. Want to contribute? Join us on Discord at https://discord.gg/5NJB6dD or in #ppsspp on freenode (IRC) or just send pull requests / issues. For discussion use the forums on ppsspp.org.
risa243/samsungctf_2018_quals_writeup
risa243/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
risa243/simple-event-loop
Java event loop for simple projects
risa243/sqlcipher-gradle
Proof of concept of AAR packaging of SQLCipher for Android
risa243/Tigress_protection
Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
risa243/uroboros
Infrastructure for Reassembleable Disassembling and Transformation