Towards a Process Algebra for Shared Processors. - Mikael Buchholtz; Jacob Andersen; Hans Henrik Løvengreen (MTCS, 2001)

Security for Mobility. - Hanne Riis Nielson; Flemming Nielson; Mikael Buchholtz (FOSAD, 2002)

Automatic Validation of Protocol Narration. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (CSFW, 2003)

For-LySa: UML for Authentication Analysis. - Mikael Buchholtz; Carlo Montangero; Lara Perrone; Simone Semprini (Global Computing, 2004)

The Succinct Solver Suite. - Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl (TACAS, 2004)

Performance Evaluation of Security Protocols Specified in LySa. - Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (QAPL, 2004)

Securing Statically-verified Communications Protocols Against Timing Attacks. - Mikael Buchholtz; Stephen T. Gilmore; Jane Hillston; Flemming Nielson (PASM, 2004)

A calculus for control flow analysis of security protocols. - Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson (Int. J. Inf. Sec., 2004)

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. - Mikael Buchholtz; Stephen Gilmore; Valentin Haenel; Carlo Montangero (FM, 2005)

On Evaluating the Performance of Security Protocols. - Chiara Bodei; Mikael Buchholtz; Michele Curti; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson; Corrado Priami (PaCT, 2005)

Automated Analysis of Infinite Scenarios. - Mikael Buchholtz (TGC, 2005)

Static validation of security protocols. - Chiara Bodei; Mikael Buchholtz; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson (J. Comput. Secur., 2005)