Papers

• From Torsors to Topoi: An Introduction with a View Toward Σ-Protocols in Cryptography (2026)
  Takao Inou\'e
  1.72
• Categorical Framework for Quantum-Resistant Zero-Trust AI Security (2025)
  I. Cherkaoui et al.
  1.50
• Yoneda Hacking: The Algebra of Attacker Actions (2021)
  Georgios Bakirtzis et al.
  —
• Categorical composable cryptography (2021)
  Anne Broadbent and Martti Karvonen
  —
• Compositional Cyber-Physical Systems Theory (2021)
  Georgios Bakirtzis
  —
• Categorical composable cryptography: extended version (2022)
  Anne Broadbent and Martti Karvonen
  —
• Composing Bridges (2023)
  Mugurel Barcau et al.
  —
• ICAR, a categorical framework to connect vulnerability, threat and asset managements (2023)
  Arnaud Valence
  —
• Attack tree metrics are operad algebras (2024)
  Milan Lopuha\"a-Zwakenberg
  —
• Constructing a fully homomorphic encryption scheme with the Yoneda Lemma (2024)
  R\'emy Tuy\'eras
  —
• Why quantum state verification cannot be both efficient and secure: a categorical approach (2024)
  Fabian Wiesner et al.
  —