Attending SERICS Spoke 6
On October 9-10 I am attending the “Spoke 6 Workshop” of the SERICS Spoke 6, at the University of Pisa, where I will give a talk about “Towards a Formally Verified Language for Stateful Authorization Policies”.
On October 9-10 I am attending the “Spoke 6 Workshop” of the SERICS Spoke 6, at the University of Pisa, where I will give a talk about “Towards a Formally Verified Language for Stateful Authorization Policies”.