Concepedia

Sophia Grundner-Culemann

SG

3

Publications

57

Citations

3

H-Index

2021

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Universität der Bundeswehr München

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Sophia Grundner-Culemann is an author at Ludwig-Maximilians-Universität München specializing in verification, formal verification, and computer science.

Top concepts

Publications per year

2021–2023

3

Publications

3

Security in Digital Aeronautical Communications A Comprehensive Gap Analysis

Nils Mäurer, Tobias Guggemos, Thomas Ewert et al. · International Journal of Critical Infrastructure Protection · 2022 · 23 citations · Full text

Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization

Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann et al. · Electronic Proceedings in Theoretical Computer Science · 2023 · 18 citations · Full text

A formal analysis of IKEv2’s post-quantum extension

Stefan-Lukas Gazdag, Sophia Grundner-Culemann, Tobias Guggemos et al. · Annual Computer Security Applications Conference · 2021 · 16 citations

, , +20

Rows per page

1–3 of 3