Here is our blog post about our audit of Cryptocat, which was also announced today: https://leastauthority.com/blog/