20 citations · 116 across the 25 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping…
cs.CR2019★ 1 cited
Mapping finite state machines to zk-SNARKS Using Category Theory
Fabrizio Genovese, Andre Knispel, Joshua Fitzgerald
We provide a categorical procedure to turn graphs corresponding to state spaces of finite state machines into boolean circuits, leveraging on the fact that boolean circuits can be…