CoCon: A Confidentiality-Verified Conference Management System. Andrei Popescu, Peter Lammich, and Thomas Bauereiss. Arch. Formal Proofs 2021. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Problem Book 2024 Problem Book 2024 Test-case reduction and deduplication almost for free with transformation-based compiler testing. Test-case reduction and deduplication almost for free with transformation-based compiler testing. Annual Report 2020/2021 Annual Report 2020/2021 PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite.
by