VeriCount

MaRDI QIDQ37193swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-93387-0_34

Described by source

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

Cited in

(3)

• MiniBox
• Panoply
• Ryoan

This page was built for software: VeriCount