2 papers
cs.CR2026
Defining Purpose-Limited Secrets
Bhumika Mittal, Aalok Thakkar
A cryptographic secret is issued for a purpose but grants a capability, and the capability is usually larger. Deployed systems state the purpose in policy and enforce only the capa…
cs.CR2026
Trust a Few: The Weakest Assumptions a Protocol Needs
Bhumika Mittal, Aalok Thakkar
Protocol verifiers check whether a protocol meets a security goal under stated trust assumptions, such as that a key is never leaked, a value is fresh, or a channel is authentic. T…