- Using the Kani Rust Verifier on a Firecracker Example https://model-checking.github.io/kani-verifier-blog/2022/07/13/using-the-kani-rust-verifier-on-a-firecracker-example.html 2 comments rust
Linking pages
- Attacking Firecracker: AWS' microVM Monitor Written in Rust - Blog | Grapl https://www.graplsecurity.com/post/attacking-firecracker 44 comments
- This Week in Rust 451 · This Week in Rust https://this-week-in-rust.org/blog/2022/07/13/this-week-in-rust-451/ 1 comment
- Using Kani to Validate Security Boundaries in AWS Firecracker | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/08/31/using-kani-to-validate-security-boundaries-in-aws-firecracker.html 0 comments
Linked pages
- Firecracker https://firecracker-microvm.github.io 235 comments
- Serverless Computing - AWS Lambda - Amazon Web Services https://aws.amazon.com/lambda/ 203 comments
- Firecracker – Lightweight Virtualization for Serverless Computing | AWS News Blog https://aws.amazon.com/blogs/aws/firecracker-lightweight-virtualization-for-serverless-computing/ 121 comments
- Tokio - An asynchronous Rust runtime https://tokio.rs 83 comments
- Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
- Serverless Compute Engine–AWS Fargate–Amazon Web Services https://aws.amazon.com/fargate/ 17 comments
- Firecracker: Lightweight Virtualization for Serverless Applications | USENIX https://www.usenix.org/conference/nsdi20/presentation/agache 17 comments
- KVM http://www.linux-kvm.org/page/Main_Page 11 comments
- Using the KVM API [LWN.net] https://lwn.net/Articles/658511/ 8 comments
- Using the Kani Rust Verifier on a Rust Standard Library CVE | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/06/01/using-the-kani-rust-verifier-on-a-rust-standard-library-cve.html 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:model-checking.github.io
Search title: Using the Kani Rust Verifier on a Firecracker Example | Kani Rust Verifier Blog
See how to search.