Skip to content
Snippets Groups Projects
Commit 35523169 authored by Müller, Jonas's avatar Müller, Jonas
Browse files

Add terminal corruption to key secrecy

parent a10c424d
No related branches found
No related tags found
No related merge requests found
......@@ -99,6 +99,7 @@ lemma key_secrecy:
==> not(Ex #m . K(k) @ #m)
| (Ex #m . Revealed(sid) @ #m)
| (Ex #m . Corrupted(C) @ #m)
| (Ex #m . Corrupted(T) @ #m)
"
// Cannot track chip before CA
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment