From September 7th to 9th Udine hosted ICTCS 2026, the Italian Conference on Theoretical Computer Science, where we presented our paper Policy Automata for Stateful Authorization, by Massimiliano Baldo, Matteo Paier and Marino Miculan.

The paper is now published in the proceedings of the conference (CEUR-WS). [pdf]