A capability machine is a type of CPU allowing fine-grained privilege separation using capabilities , machine words that represent certain kinds of authority. We present a mathematical model and accompanying proof methods that can be used for formal verification of functional correctness of programs...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!