Sancus

swMATH24321MaRDI QIDQ36079FDOQ36079

Author name not available (Why is that?)

Cited In (2)

• Fully abstract trace semantics for protected module architectures
• A novel computer virus propagation model under security classification

This page was built for software: Sancus