VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation.

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

Browse the full ACNS paper archive.