Pinned Repositories
ct-wasm_benchmark_policies
Policies for https://github.com/PLSysSec/ct-wasm-ports/tree/master/eval
divCon
Divcon source code
divcon_experiments
Experiments for divcon
HolBA
Binary analysis in HOL
kta
KTH's Timing Analyzer
manticore
Symbolic execution tool
miking
Miking - the meta viking: a meta-language system for creating embedded languages
secdivcon_experiments
Experiments for SecDivCon
Vivienne
Constant-Time WebAssembly
Vivienne_eval
Symbolic Execution for WebAssembly
romits800's Repositories
romits800/Vivienne
Constant-Time WebAssembly
romits800/divCon
Divcon source code
romits800/secdivcon_experiments
Experiments for SecDivCon
romits800/Vivienne_eval
Symbolic Execution for WebAssembly
romits800/ct-wasm_benchmark_policies
Policies for https://github.com/PLSysSec/ct-wasm-ports/tree/master/eval
romits800/divcon_experiments
Experiments for divcon
romits800/HolBA
Binary analysis in HOL
romits800/kta
KTH's Timing Analyzer
romits800/manticore
Symbolic execution tool
romits800/miking
Miking - the meta viking: a meta-language system for creating embedded languages
romits800/reading
romits800/romits800.github.io
romits800/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.
romits800/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
romits800/seccon_experiments
romits800/test