Towards formal verification of TLS network packet processing written in C - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Reynald Affeldt, Nicolas Marti. Towards formal verification of TLS network packet processing written in C. In Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. pages 35-46, ACM, 2013. [doi]

The following publications are possibly variants of this publication:

An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet ProcessingReynald Affeldt, Kazuhiko Sakaguchi. Journal of Formalized Reasoning, 7(1):63-104, 2014. [doi]

An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet ProcessingReynald Affeldt, Kazuhiko Sakaguchi. jfrea, 7(1):63-104, 2014. [doi]

runs on WebDSL