VeriCount

swMATH25455MaRDI QIDQ37193FDOQ37193

Author name not available (Why is that?)

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