Asterinas - Blog

Posts

2025

Dec · 19

Announcing Asterinas 0.17.0

By Hongliang Tian READ MORE

Aug · 04

Announcing Asterinas 0.16.0

By Hongliang Tian READ MORE

Jun · 04

Kernel Memory Safety: Mission Accomplished

By Hongliang Tian READ MORE

Feb · 13

Towards Practical Formal Verification for a General-Purpose OS in Rust

By CertiK and Hongliang Tian READ MORE

Jan · 20

Asterinas in 2024

By Hongliang Tian READ MORE