Encrypted and Signed File Transfer with PostGuard

Daniel Ostkamp, Bart Jacobs 0001. Encrypted and Signed File Transfer with PostGuard. In Barbara Fila, Hugo Jonker, Sasa Radomirovic, editors, Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday. Volume 16365 of Lecture Notes in Computer Science, pages 122-140, Springer, 2026. [doi]

Abstract

Abstract is missing.