AURA

swMATH11482MaRDI QIDQ23424FDOQ23424

Author name not available (Why is that?)

Described by source

• AURA

Cited In (9)

• G2C: Cryptographic Protocols from Goal-Driven Specifications
• Logic in Access Control (Tutorial Notes)
• The locally nameless representation
• A Classical Realizability Model for a Semantical Value Restriction
• Security-typed programming within dependently typed programming
• Secure distributed programming with value-dependent types
• Secure distributed programming with value-dependent types
• Noninterference in a predicative polymorphic calculus for access control
• Combining proofs and programs in a dependently typed language

This page was built for software: AURA