Pinned Repositories
basavesh.github.io
bashbap
Binary Analysis Platform
FaCT
Flexible and Constant Time Programming Language
fact-eval
FoxDecBash
Formally verified x86-64 decompilation
manual-llvmir
basavesh's Repositories
basavesh/basavesh.github.io
basavesh/bashbap
Binary Analysis Platform
basavesh/FaCT
Flexible and Constant Time Programming Language
basavesh/fact-eval
basavesh/FoxDecBash
Formally verified x86-64 decompilation
basavesh/manual-llvmir
basavesh/donna_stuff
basavesh/Hypervisor-From-Scratch
Source code of a multiple series of tutorials about hypervisor. Available at: https://rayanfam.com/tutorials
basavesh/jakstab
The Jakstab static analysis platform for binaries
basavesh/os-tutorial
How to create an OS from scratch
basavesh/safeside
Understand and mitigate software-observable side-channels
basavesh/thttpd-decompilation
basavesh/VIBES
Verified, Incremental, Binary Editing with Synthesis