Mikael Buchholtz

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM (2005)
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
On Evaluating the Performance of Security Protocols. PaCT (2005)
Mikael Buchholtz
Automated Analysis of Infinite Scenarios. TGC (2005)
Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
Securing Statically-verified Communications Protocols Against Timing Attacks. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
Performance Evaluation of Security Protocols Specified in LySa. Electron. Notes Theor. Comput. Sci. 112 (2005)
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Static validation of security protocols. J. Comput. Secur. 13 (3) (2005)
Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson
A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. 2 (3-4) (2004)
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
The Succinct Solver Suite. TACAS (2004)
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. Global Computing (2004)
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Automatic Validation of Protocol Narration. CSFW (2003)
Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
Security for Mobility. FOSAD (2002)
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen
Towards a Process Algebra for Shared Processors. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)