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 91 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 20 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 29 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 13 9 0 30 Apr 2020
Formal composition of hybrid systems Jared Culbertson Paul Gustafson D. Koditschek Peter F. Stiller 23 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 25 10 0 18 Jun 2019
Computational Petri Nets: Adjunctions Considered Harmful F. Genovese A. Gryzlov Jelle Herold Marco Perone Erik Post André Videla 23 14 0 29 Apr 2019
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories F. Genovese Jelle Herold 18 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 37 11 0 25 Jan 2014
Bicategorical Semantics for Nondeterministic Computation M. Stay J. Vicary 35 15 0 15 Jan 2013

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.