The following pages link to AURA (Q23424):
Displaying 9 items.
- The locally nameless representation (Q1945914) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- G2C: Cryptographic Protocols from Goal-Driven Specifications (Q2902917) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Security-typed programming within dependently typed programming (Q5176937) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)
- Combining proofs and programs in a dependently typed language (Q5408400) (← links)