Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10329289 | Electronic Notes in Theoretical Computer Science | 2005 | 17 Pages |
Abstract
Our detailed measurements, based on real world Java libraries, demonstrate that the approach offers a substantial improvement in size of certificate over the similar approach taken by the KVM verifier. Worst case memory consumption on the device is examined as well and it turns out that the refinements based on our model save a significant amount of memory.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Karsten Klohs, Uwe Kastens,