Aglet

MaRDI QIDQ25220swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=1863543.1863569

Described by source

• Security-typed programming within dependently typed programming

Cited in

(7)

• AURA
• Paragon
• Laminar
• ml5
• GREEND
• Flexible dynamic information flow control in the presence of exceptions
• Addressing covert termination and timing channels in concurrent information flow systems

This page was built for software: Aglet