Mikael Buchholtz

According to our database, Mikael Buchholtz authored at least 12 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Static validation of security protocols.

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

J. Comput. Secur., 2005

Automated Analysis of Infinite Scenarios.

Mikael Buchholtz

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

On Evaluating the Performance of Security Protocols.

Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2005

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero

Proceedings of the FM 2005: Formal Methods, 2005

2004

A calculus for control flow analysis of security protocols.

Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson

Int. J. Inf. Sec., 2004

Securing Statically-verified Communications Protocols Against Timing Attacks.

Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Performance Evaluation of Security Protocols Specified in LySa.

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

The Succinct Solver Suite.

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

For-LySa: UML for Authentication Analysis.

Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini

Proceedings of the Global Computing, IST/FET International Workshop, 2004

2003

Automatic Validation of Protocol Narration.

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Security for Mobility.

Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

Towards a Process Algebra for Shared Processors.

Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001