Skip to content

Commit 8af4b17

Browse files
authored
Update index.md
1 parent b3d3edb commit 8af4b17

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

content/publication/25-ATC-PENG/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
---
2-
title: '**(USENIX ATC'25)** Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB'
2+
title: '(USENIX ATC'25) Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB'
33

44
# Authors
55
# If you created a profile for a user (e.g. the default `admin` user), write the username (folder name) here

0 commit comments

Comments
 (0)