Login
From:
muratbuffalo.blogspot.com
(Uncensored)
subscribe
Smart Casual Verification of the Confidential Consortium Framework
http://muratbuffalo.blogspot.com/2025/02/smart-casual-verification-of.html
links
backlinks
Tagged with:
abstraction
formal methods
tla
automated reasoning
This paper (NSDI'25) applies lightweight formal methods (hence the pun "smart casual" in contrast to formal attire) to the Confidential Con...
Roast topics
Find topics
Find it!
