Diana Kessler

Orcid: 0009-0006-6355-1581

According to our database1, Diana Kessler authored at least 6 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A Critical Pair Enumeration Algorithm for String Diagram Rewriting.
CoRR, March, 2026

Why cut-and-choose quantum state verification cannot be both efficient and secure.
IACR Commun. Cryptol., 2026

2024
Acyclicity Conditions on Pasting Diagrams.
Appl. Categorical Struct., December, 2024

Why quantum state verification cannot be both efficient and secure: a categorical approach.
CoRR, 2024

2023
Higher-Dimensional Subdiagram Matching.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022
Data structures for topologically sound higher-dimensional diagram rewriting.
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022


  Loading...