Login
Roast topics
Find topics
Find it!
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
Roast topics
Find topics
Roast it!
This paper (NSDI'25) applies lightweight formal methods (hence the pun "smart casual" in contrast to formal attire) to the Confidential Con...
