Computer Aided Verification
Springer International Publishing
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
X Demographics
Mendeley readers
| Chapter title |
Continuous Formal Verification of Amazon s2n
|
|---|---|
| Chapter number | 26 |
| Book title |
Computer Aided Verification
|
| Published by |
Springer, Cham, July 2018
|
| DOI | 10.1007/978-3-319-96142-2_26 |
| Book ISBNs |
978-3-31-996141-5, 978-3-31-996142-2
|
| Authors |
Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook, Chudnov, A, Collins, N, Cook, B, Dodds, J, Huffman, B, MacCárthaigh, C, Magill, S, Mertens, E, Mullen, E, Tasiran, S, Tomb, A, Westbrook, E, Chudnov, Andrey, Collins, Nathan, Cook, Byron, Dodds, Joey, Huffman, Brian, MacCárthaigh, Colm, Magill, Stephen, Mertens, Eric, Mullen, Eric, Tasiran, Serdar, Tomb, Aaron, Westbrook, Eddy |
X Demographics
The data shown below were collected from the profiles of 22 X users who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| United States | 11 | 50% |
| United Kingdom | 2 | 9% |
| Singapore | 1 | 5% |
| Brazil | 1 | 5% |
| Denmark | 1 | 5% |
| Unknown | 6 | 27% |
Demographic breakdown
| Type | Count | As % |
|---|---|---|
| Members of the public | 14 | 64% |
| Scientists | 8 | 36% |
Mendeley readers
The data shown below were compiled from readership statistics for 19 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Unknown | 19 | 100% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 7 | 37% |
| Researcher | 3 | 16% |
| Student > Master | 3 | 16% |
| Student > Bachelor | 2 | 11% |
| Other | 2 | 11% |
| Other | 1 | 5% |
| Unknown | 1 | 5% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 15 | 79% |
| Engineering | 2 | 11% |
| Unknown | 2 | 11% |