Great book. This was the inspiration for Tamarin. I've been working on this as a side project for about a year now.<p><a href="https://github.com/cloudcmds/tamarin">https://github.com/cloudcmds/tamarin</a>