Pinned

1. secure-foundations/provably-safe-sandboxing-wasm-usenix22 secure-foundations/provably-safe-sandboxing-wasm-usenix22 Public

   Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

   WebAssembly 35 1

2. secure-foundations/rWasm secure-foundations/rWasm Public

   A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

   Rust 27 6

3. security-notes security-notes Public

   📓 Some security related notes

   453 41

4. latex-paper-template latex-paper-template Public template

   📖 A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.

   Python 7 1

5. secure-foundations/wasm-semantics-fuzzer secure-foundations/wasm-semantics-fuzzer Public

   An aid for developing correct WebAssembly implementations through generative fuzzing

   Rust 9 2

6. matasano-crypto matasano-crypto Public

   🔑 Cracking real-world Crypto, the fun way

   Python 20 4