Herter, J., Reineke, J.: Making dynamic memory allocation static to support WCET analyses. In: Proceedings of 9th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis (2009) Google Scholar Herter, J., Reineke, J., Wilhelm, R.: CAMA: Cache-aware memory allocation for WCET analys...
Recent work in proofs of storage mainly deals with privately verifiable proofs of storage since these use symmetric cryptography and thus are faster than publicly verifiable proofs of storage. Another line of work is to extend the features of proofs of storage.Dynamicproofs of storage allow for upd...