SCIPR Lab is a multi-institutional academic collaboration of researchers seeking to bring to practice cryptographic proof systems that provide succinct integrity and privacy...
The TinyRAM architecture is a random-access machine designed to be a convenient tool for expressing the correctness of nondeterministic computations...
PhotoProof: cryptographic image authentication for any set of permissible transformations