An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing

DOI10.6092/ISSN.1972-5787/4317zbMath1451.68061OpenAlexW1565451569MaRDI QIDQ5195255

Reynald Affeldt, Kazuhiko Sakaguchi

Publication date: 18 September 2019

Full work available at URL: https://doaj.org/article/694b65e896ed47919b4265dc6520c224

zbMATH Keywords

CoqC languageTLS protocol

Mathematics Subject Classification ID

Cryptography (94A60) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

A formal C memory model for separation logic

Uses Software

• Unnamed Item

This page was built for publication: An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing