- [U-prove](https://www.microsoft.com/en-us/research/project/u-prove/) - Stefan Brands' [book on maths of U-prove](http://www.credentica.com/the_mit_pressbook.html)