Thanks!

The Software Analysis Workbench has its roots in Cryptol, which has been under development for over a decade with many people contributing to its design and implementation. The contributors to SAW and Cryptol include (but are not limited to) Aaron Tomb, Adam Foltzer, Adam Wick, Adrian Herrera, Andrei Stefanescu, Andrew Kent, Andrey Chudnov, Andy Gill, Austin Seipp, Benjamin Barenblat, Brian Huffman, Brian Ledger, Daniel Zimmerman, David Christiansen, David Lazar, Dylan McNamee, Eddy Westbrook, Edward Yang, Eric Mertens, Felix Yan, Fergus Henderson, Ian Blumenfeld, Iavor Diatchki, Jeff Lewis, Jim Teisher, Joe Hendrix, Joe Hurd, Joe Kiniry, Joel Stanley, Joey Dodds, John Launchbury, John Matthews, Jonathan Daugherty, Kenneth Foner, Keshav Kini, Kevin Quick, Kyle Carter, Langston Barrett, Ledah Casburn, Lee Pike, Levent Erkök, Magnus Carlsson, Mark Shields, Mark Tullsen, Matt Sottile, Nathan Collins, Pedro Abreu, Philip Weaver, Robby, Robert Dockins, Sally Browning, Sam Anklesaria, Sam Breese, Sigbjørn Finne, Stephanie Weirich, Thomas Nordin, Trevor Elliott, and Tristan Ravitch.

In addition, much of the work on SAW and Cryptol has been funded by, and lots of design input was provided by the team at the NSA Laboratory for Advanced Cybersecurity Research, including Brad Martin, Frank Taylor and Sean Weaver.