Fides

MaRDI QIDQ36080swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=2382200

Cited in

(4)

• Fully abstract trace semantics for protected module architectures
• Java Jr
• Sancus
• TALx86

This page was built for software: Fides