Travelled to:1 × Italy
1 × The Netherlands
Collaborated with:M.Sojka F.Nielson H.R.Nielson P.Baldan A.Corradini B.König S.Schwoon
Talks about:protocol (1) contextu (1) grammar (1) analysi (1) prefix (1) millan (1) formal (1) comput (1) secur (1) graph (1)
Person: Alessandro Bruni
DBLP: Bruni:Alessandro
Contributed to:
2014
2010Wrote 2 papers:
- IFM-2014-BruniSNN #analysis #protocol #security
- Formal Security Analysis of the MaCAN Protocol (AB, MS, FN, HRN), pp. 241–255.
- ICGT-2010-BaldanBCKS #graph grammar #on the
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.