Hacker News
- Security and Correctness in Wasmtime https://bytecodealliance.org/articles/security-and-correctness-in-wasmtime 16 comments
Lobsters
- Security and Correctness in Wasmtime https://bytecodealliance.org/articles/security-and-correctness-in-wasmtime 3 comments formalmethods , security , testing , wasm
- Security and Correctness in Wasmtime and Cranelift https://bytecodealliance.org/articles/security-and-correctness-in-wasmtime 4 comments rust
Linking pages
- Bytecode Alliance https://bytecodealliance.org/articles/wasmtime-1-0-fast-safe-and-production-ready 155 comments
- Securing the Supply Chain of Nothing | Kelly Shortridge https://swagitda.com/blog/posts/securing-the-supply-chain-of-nothing/ 32 comments
- This Week in Rust 460 · This Week in Rust https://this-week-in-rust.org/blog/2022/09/14/this-week-in-rust-460 9 comments
- Bytecode Alliance — Wasmtime and Cranelift in 2023 https://bytecodealliance.org/articles/wasmtime-and-cranelift-in-2023 8 comments
- Bytecode Alliance — The XZ Backdoor and Wasmtime https://bytecodealliance.org/articles/xz-backdoor-and-wasmtime 1 comment
Linked pages
- Chrome: 70% of all security bugs are memory safety issues | ZDNET https://www.zdnet.com/article/chrome-70-of-all-security-bugs-are-memory-safety-issues/ 799 comments
- Bytecode Alliance https://bytecodealliance.org/articles/wasmtime-10-performance 126 comments
- Bytecode Alliance — Announcing the Bytecode Alliance: Building a secure by default, composable future for WebAssembly https://bytecodealliance.org/articles/announcing-the-bytecode-alliance 106 comments
- https://gruss.cc/files/fantastictimers.pdf 41 comments
- Cranelift, Part 3: Correctness in Register Allocation https://cfallin.org/blog/2021/03/15/cranelift-isel-3/ 39 comments
- Wasmtime https://wasmtime.dev 24 comments
- GitHub - rust-fuzz/cargo-fuzz: Command line helpers for fuzzing https://github.com/rust-fuzz/cargo-fuzz 9 comments
- OSS-Fuzz | Documentation for OSS-Fuzz https://google.github.io/oss-fuzz/ 6 comments
- Writing a Test Case Generator for a Programming Language https://fitzgeraldnick.com/2020/08/24/writing-a-test-case-generator.html 6 comments
- Introduction - Cargo Vet https://mozilla.github.io/cargo-vet/ 2 comments
- Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations by cfallin · Pull Request #27 · bytecodealliance/rfcs · GitHub https://github.com/bytecodealliance/rfcs/pull/27 1 comment
- Spectre (security vulnerability) - Wikipedia https://en.wikipedia.org/wiki/Spectre_(security_vulnerability) 1 comment
- Bytecode Alliance https://bytecodealliance.org/articles/reference-types-in-wasmtime 0 comments
- libFuzzer â a library for coverage-guided fuzz testing. — LLVM 17.0.0git documentation https://llvm.org/docs/LibFuzzer.html 0 comments
- Fuzzing - Wikipedia http://en.wikipedia.org/wiki/Fuzz_testing 0 comments
- GitHub - rust-fuzz/arbitrary: Generating structured data from arbitrary, unstructured input. https://github.com/rust-fuzz/arbitrary 0 comments
Related searches:
Search whole site: site:bytecodealliance.org
Search title: Bytecode Alliance
See how to search.