Yoneda Hacking: The Algebra of Attacker Actions

Yoneda Hacking: The Algebra of Attacker Actions

26 February 2021

Georgios Bakirtzis

Papers citing "Yoneda Hacking: The Algebra of Attacker Actions"

14 / 14 papers shown

Title
Compositional Cyber-Physical Systems Theory Georgios Bakirtzis 93 5 0 10 Sep 2021
Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis G. Zardini A. Censi Emilio Frazzoli 33 28 0 21 Nov 2020
A diagrammatic approach to information flow in encrypted communication (extended version) P. Hines 22 3 0 13 Aug 2020
A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version) G. Zardini David I. Spivak A. Censi Emilio Frazzoli 31 10 0 10 May 2020
Fundamental Challenges of Cyber-Physical Systems Security Modeling Georgios Bakirtzis Garrett L. Ward Christopher J. Deloglos C. Elks B. Horowitz C. Fleming 15 9 0 30 Apr 2020
Formal composition of hybrid systems Jared Culbertson Paul Gustafson D. Koditschek Peter F. Stiller 25 10 0 04 Nov 2019
Data Driven Vulnerability Exploration for Design Phase System Analysis Georgios Bakirtzis B. Simon Aidan G. Collins C. Fleming C. Elks 24 18 0 06 Sep 2019
Mapping finite state machines to zk-SNARKS Using Category Theory F. Genovese A. Knispel Joshua Fitzgerald 29 2 0 06 Sep 2019
The Mathematical Specification of the Statebox Language Statebox Team F. Genovese Jelle Herold 27 10 0 18 Jun 2019
Computational Petri Nets: Adjunctions Considered Harmful F. Genovese A. Gryzlov Jelle Herold Marco Perone Erik Post André Videla 25 14 0 29 Apr 2019
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories F. Genovese Jelle Herold 20 14 0 15 May 2018
Towards a Science of Trust Dusko Pavlovic AI4CE 33 5 0 11 Mar 2015
Chasing diagrams in cryptography Dusko Pavlovic 39 11 0 25 Jan 2014
Bicategorical Semantics for Nondeterministic Computation M. Stay J. Vicary 37 15 0 15 Jan 2013