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]

Authors

Daniel Ostkamp

This author has not been identified. Look up 'Daniel Ostkamp' in Google

Bart Jacobs 0001

This author has not been identified. Look up 'Bart Jacobs 0001' in Google