Tagged Questions
5
votes
4answers
178 views
provable security and sandboxes
Maybe this can be answered by an answer to a more general question, such as what programs can be proven secure.
Can it be (or has it been) formally proven that a sandbox is secure?
