jaybosamiya - Overview
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
WebAssembly 40 1
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Rust 44 8
📓 Some security related notes
461 41
📖 A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.
Python 10 4
An aid for developing correct WebAssembly implementations through generative fuzzing
Rust 15 2
🔑 Cracking real-world Crypto, the fun way
Python 20 4