Verified cryptographic code for everybody
type: Item
instance of: scholarly article
title: Verified cryptographic code for everybody
zbMATH Open document ID: 1493.68206
DOI: 10.1007/978-3-030-81685-8_31
author: Brett Boston
author: Samuel Breese
author: Joey Dodds
author: Mike Dodds
author: Brian Huffman
author: Adam Petcher
author: A. Stefanescu
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 7498160
zbMATH Keywords: cryptography
zbMATH Keywords: automated reasoning
zbMATH Keywords: verification
describes a project that uses: Boogie
describes a project that uses: ABC
describes a project that uses: HACL*
describes a project that uses: Toolchain
describes a project that uses: CBMC
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-030-81685-8 31
OpenAlex ID: W3174754599
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Continuous Reasoning
description: scientific article; zbMATH DE number 7498160