MiniBox

MaRDI QIDQ37196swMATHFDO

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

Cited in

(4)

• Panoply
• Ryoan
• VeriCount
• \textsc{VeriCount}: verifiable resource accounting using hardware and software isolation

This page was built for software: MiniBox