Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Continuous Formal Verification of Amazon s2n
2018
51 citations
Book Chapter
hybrid Open Access
Field-Weighted Citation Impact:
7.21
Continuous Formal Verification of Amazon s2n | Researchclopedia
Galois (United States)
Eric Mertens
·
Galois (United States)
Eric Mullen
·
University of Washington
Serdar Taşiran
·
Amazon (United States)
Aaron Tomb
·
Galois (United States)
Eddy Westbrook
·
Galois (United States)