Mikael Buchholtz

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