Pinned

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

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

   WebAssembly 22

2. secure-foundations/rWasm Public

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

   Rust 12 2

3. security-notes Public

   📓 Some security related notes

   444 47

4. latex-paper-template Public template

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

   Python 5 1

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

   An aid for developing correct WebAssembly implementations through generative fuzzing

   Rust 4 1

6. matasano-crypto Public

   🔑 Cracking real-world Crypto, the fun way

   Python 19 5