Ryoan

MaRDI QIDQ37195swMATHFDO

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

Cited in

(4)

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

This page was built for software: Ryoan