Sancus

MaRDI QIDQ36079swMATHFDO

Official website https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/noorman

Cited in

(6)

• A novel computer virus propagation model under security classification
• Fully abstract trace semantics for protected module architectures
• Java Jr
• Flicker
• Fides
• TALx86

This page was built for software: Sancus