Experience Report: How to Extract Security Protocols' Specifications from C Libraries.

Itzel Vzquez Sandoval, Gabriele Lenzini

Browse the full COMPSAC paper archive.