bookmarks.sysop.cafe
bookmarks.sysop.cafe
Tag cloud
Picture wall
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
2910
shaares
55
private links
2910
shaares ·
55
private links
Filters
Links per page
20
50
100
A Secure and Formally Verified Linux KVM Hypervisor
Paper on SeKVM, a modified version of KVM, that guarantees data confidentiality and integrity.
kvm
·
virtualization
·
virtualization-security
June 13, 2021 at 22:44:09 GMT+2 * ·
permalink
·
·
https://www.cs.columbia.edu/~nieh/pubs/ieeesp2021_kvm.pdf
·
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community
