# Stream Verification

**Authors:** Justin Thaler  
**arXiv:** [1507.04188](https://arxiv.org/abs/1507.04188)  
**Date:** 2015-07-15  
**Summary page:** https://www.summarizepaper.com/fr/paper/1507.04188v1/

## Abstract

We survey models and algorithms for stream verification.