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

README: Acknowledge some additional Cryptol contributors

Browse Source 
Mention Bretton Chen, Henry Blanchette, and Matthew Yacavone, all of whom have
made significant contributions. Also use Hazel Weakly's current name.
This commit is contained in:
Ryan Scott 2023-07-06 08:29:36 -04:00
parent adb73d2a82
commit 593f6b002c
1 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
README.md
View File

@ -205,20 +205,20 @@ 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 Foltzer, Adam Wick, Alexander
Bakst, Andrew Kent, Andrei Stefanescu, Andrey Chudnov, Andy Gill,
Benjamin Barenblat, Ben Jones, Ben Selfridge, Brett Boston, Brian
Huffman, Brian Ledger, Chris Phifer, Daniel Wagner, David Thrane
Christiansen, David Lazar, Dylan McNamee, Eddy Westbrook, Edward Yang,
Eric Mertens, Eric Mullen, Fergus Henderson, Iavor Diatchki, Jared
Weakly, Jeff Lewis, Jim Teisher, Joe Hendrix, Joe Hurd, Joe Kiniry, Joel
Stanley, Joey Dodds, John Launchbury, John Matthews, Jonathan Daugherty,
Kenneth Foner, Kevin Quick, Kyle Carter, Ledah Casburn, Lee Pike, Levent
Erkök, Lisanna Dettwyler, Magnus Carlsson, Mark Shields, Mark Tullsen,
Matt Sottile, Nathan Collins, Philip Weaver, Robert Dockins, Ryan Scott,
Sally Browning, Sam Anklesaria, Sigbjørn Finne, Stephen Magill, Thomas
Nordin, Trevor Elliott, and Tristan Ravitch.
contributing to its design and implementation. Those people include (but are
not limited to) Aaron Tomb, Adam Foltzer, Adam Wick, Alexander Bakst, Andrew
Kent, Andrei Stefanescu, Andrey Chudnov, Andy Gill, Benjamin Barenblat, Ben
Jones, Ben Selfridge, Brett Boston, Bretton Chen, Brian Huffman, Brian Ledger,
Chris Phifer, Daniel Wagner, David Thrane Christiansen, David Lazar, Dylan
McNamee, Eddy Westbrook, Edward Yang, Eric Mertens, Eric Mullen, Fergus
Henderson, Hazel Weakly, Henry Blanchette, Iavor Diatchki, Jeff Lewis, Jim
Teisher, Joe Hendrix, Joe Hurd, Joe Kiniry, Joel Stanley, Joey Dodds, John
Launchbury, John Matthews, Jonathan Daugherty, Kenneth Foner, Kevin Quick, Kyle
Carter, Ledah Casburn, Lee Pike, Levent Erkök, Lisanna Dettwyler, Magnus
Carlsson, Mark Shields, Mark Tullsen, Matt Sottile, Matthew Yacavone, Nathan
Collins, Philip Weaver, Robert Dockins, Ryan Scott, Sally Browning, Sam
Anklesaria, Sigbjørn Finne, Stephen Magill, Thomas Nordin, Trevor Elliott, and
Tristan Ravitch.
Much of the work on Cryptol has been funded by, and lots of design input
was provided by, the team at the [NSA's Laboratory for Advanced Cybersecurity