Files in /evidence/ihvrk/docs/formal/

This folder has no summary page. These are the published files, served unchanged.

← Up one level

• IHVRK.cfg (313 bytes)
• IHVRK.tla (9685 bytes)
• IHVRK_no_auth_check.cfg (322 bytes)
• IHVRK_no_digest_check.cfg (324 bytes)
• IHVRK_no_nonce_consume.cfg (325 bytes)
• IHVRK_permit_reuse.cfg (321 bytes)