When logic lays down the law. - Bjørn Jespersen; Ana de Almeida Borges; Jorge del Castillo Tierz; Juan José Conejero Rodríguez; Eric Sancho Adamson; Aleix Solé Sánchez; Nika Pona; Joost J. Joosten (CoRR, 2018)

Research Report: Formally-Verified ASN.1 Protocol C-language Stack. - Nika Pona; Vadim Zaliva (SP (Workshops), 2020)