Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:F.Nielson H.R.Nielson S.Gilmore V.Haenel C.Montangero C.Bodei M.Curti P.Degano C.Priami H.Sun R.R.Hansen H.Pilegaard H.Seidl
Talks about:perform (2) secur (2) end (2) choreograph (1) succinct (1) protocol (1) platform (1) specifi (1) analysi (1) solver (1)
Person: Mikael Buchholtz
DBLP: Buchholtz:Mikael
Contributed to:
2005
2005
2004Wrote 3 papers:
- FM-2005-BuchholtzGHM #analysis #framework #performance #platform #security
- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform (MB, SG, VH, CM), pp. 286–301.
- QAPL-2004-BodeiCDBNNP05 #evaluation #performance #protocol #security
- Performance Evaluation of Security Protocols Specified in LySa (CB, MC, PD, MB, FN, HRN, CP), pp. 167–189.
- TACAS-2004-NielsonNSBHPS
- The Succinct Solver Suite (FN, HRN, HS, MB, RRH, HP, HS), pp. 251–265.