Johanna Maria Kirss

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Mobile Services

Evaluation Metrics

Elastic Registration

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CoRR (2024)
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
Server-Supported Decryption for Mobile Devices. IACR Cryptol. ePrint Arch. 2023 (2023)
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
Server-Supported Decryption for Mobile Devices. STM (2022)