Aglet

swMATH13305MaRDI QIDQ25220FDOQ25220

Author name not available (Why is that?)

Described by source

• Security-typed programming within dependently typed programming

Cited In (2)

• 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