The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Continuous Formal Verification of Amazon s2n
The work
| Authors | Andrey Chudnov; Nathan S. Collins; Byron Cook; Joey Dodds; Brian J. Huffman; Colm MacCárthaigh; Stephen Magill; Eric Mertens; Eric Mullen; Serdar Taşiran; Aaron Tomb; Eddy Westbrook |
|---|---|
| Editors | |
| Type | misc |
| Year | 2018 |
| Citekey | chudnov2018continuous |
Where it appeared
| Published in | Lecture notes in computer science |
|---|---|
| Publisher | Springer Science+Business Media |
| Pages | 430--446 |
Identifiers
| DOI | 10.1007/978-3-319-96142-2_26 |
|---|---|
| OpenAlex | W2884325678 |
Access
| Landing page | https://doi.org/10.1007/978-3-319-96142-2_26 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007%2F978-3-319-96142-2_26.pdf |
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 18:40 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{chudnov2018continuous,
title = {Continuous Formal Verification of Amazon s2n},
author = {Andrey Chudnov and Nathan S. Collins and Byron Cook and Joey Dodds and Brian J. Huffman and Colm MacCárthaigh and Stephen Magill and Eric Mertens and Eric Mullen and Serdar Taşiran and Aaron Tomb and Eddy Westbrook},
year = {2018},
journal = {Lecture notes in computer science},
publisher = {Springer Science+Business Media},
pages = {430--446},
doi = {10.1007/978-3-319-96142-2_26},
}
This record lives at https://refs.drheap.org/chudnov2018continuous/ and will keep doing so.