Shruti Tople, Soyeon Park, Min-Suk Kang, Prateek Saxena. VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation. In Bart Preneel, Frederik Vercauteren, editors, Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings. Volume 10892 of Lecture Notes in Computer Science, pages 657-677, Springer, 2018. [doi]
Abstract is missing.