Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update acknowledgements in README #1129

Merged
merged 5 commits into from
Mar 24, 2021
Merged

Update acknowledgements in README #1129

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
0178deb
Update acknowledgements in README
Mar 24, 2021
17c74e9
Add a few more acknowledgements
Mar 24, 2021
aa8d9b2
Commas
Mar 24, 2021
827a0e9
Unbreak NSA group name and URL
Mar 24, 2021
fd83503
More lab name tweaks
Mar 24, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 16 additions & 9 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -205,15 +205,22 @@ and by cryptographers to

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) 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 Laboratory for Advanced Cybersecurity
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.

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
Research](https://www.nsa.gov/what-we-do/research/cybersecurity-research/),
including Brad Martin, Frank Taylor, and Sean Weaver.

Expand Down