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

DOI10.1007/978-3-319-93387-0_34zbMath1440.94082OpenAlexW2806442079MaRDI QIDQ1656085

Min Suk Kang, Prateek Saxena, Shruti Tople, Soyeon Park

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-93387-0_34

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items (1)

VeriCount

Uses Software

• Docker
• Panoply
• Ryoan
• MiniBox

This page was built for publication: \textsc{VeriCount}: verifiable resource accounting using hardware and software isolation