GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-28 09:23:04 +03:00
Code Issues Projects Releases Wiki Activity

reinsert book authors into acknowledgments

Browse Source
This commit is contained in:
Adam C. Foltzer 2014-04-24 14:47:55 -07:00
parent bd578915ea
commit 2f229e0c9c
1 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
README.md
View File

@ -205,14 +205,17 @@ and by cryptographers to
## Acknowledgements
Cryptol has been under development for over a decade with many people
contributing to its design and implementation. Those people include (but are
not limited to) Aaron Tomb, Adam Wick, Brian Huffman, Matt Sottile, Adam
Foltzer, Joe Hendrix, Trevor Elliott, Lee Pike, Mark Tullsen, David Lazar, Joel
Stanley, Jeff Lewis, Andy Gill, Edward Yang, Ledah Casburn, Jim Teisher,
Sigbjørn Finne, Mark Shields, Philip Weaver, Magnus Carlsson, Fergus Henderson,
Joe Hurd, Thomas Nordin, John Matthews and Sally Browning. In addition, much of
the work on Cryptol has been funded by, and lots of design input was provided by
the team at the [NSA's Trusted Systems Research Group](http://www.nsa.gov/research/ia_research/),
contributing to its design and implementation. Those people include
(but are not limited to) Iavor Diatchki, Aaron Tomb, Adam Wick, Brian
Huffman, Dylan McNamee, Joe Kiniry, John Launchbury, Matt Sottile,
Adam Foltzer, Joe Hendrix, Trevor Elliott, Lee Pike, Mark Tullsen,
Levent Erkök, David Lazar, Joel Stanley, Jeff Lewis, Andy Gill, Edward
Yang, Ledah Casburn, Jim Teisher, Sigbjørn Finne, Mark Shields, Philip
Weaver, Magnus Carlsson, Fergus Henderson, Joe Hurd, Thomas Nordin,
John Matthews and Sally Browning. In addition, much of the work on
Cryptol has been funded by, and lots of design input was provided by
the team at the
[NSA's Trusted Systems Research Group](http://www.nsa.gov/research/ia_research/),
including Brad Martin, Frank Taylor and Sean Weaver.