of “Cryptography for Efficiency: New Directions in Authenticated Data Structures” by Charalampos Papamanthou, Ph.D., Brown University, May 2011. Cloud computing has emerged as an important new computational and storage medium and is increasingly being adopted both by companies and individuals as a means of reducing operational and maintenance costs. However, remotely-stored sensitive data may b...

Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers backtrack the execution previous state. is essential if computation not deterministic because re-running may lead that state of interest. sequential programs has been well studied strong theoretical basis exists. Contrarily, reversibility concurrent still very young, especially in practic...