Johanna Maria Kirss

According to our database, Johanna Maria Kirss authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Server-Supported Decryption for Mobile Devices.

Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk

IACR Cryptol. ePrint Arch., 2023