dblp.uni-trier.dewww.uni-trier.de

Mikael Buchholtz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
12EEMikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301
11EEChiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15
10EEMikael Buchholtz: Automated Analysis of Infinite Scenarios. TGC 2005: 334-352
9EEChiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)
8EEMikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson: Securing Statically-verified Communications Protocols Against Timing Attacks. Electr. Notes Theor. Comput. Sci. 128(4): 123-143 (2005)
7EEChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
2004
6EEMikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini: For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106
5EEFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
4EEMikael Buchholtz, Hanne Riis Nielson, Flemming Nielson: A calculus for control flow analysis of security protocols. Int. J. Inf. Sec. 2(3-4): 145-167 (2004)
2003
3EEChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
2002
2EEHanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
2001
1EEMikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen: Towards a Process Algebra for Shared Processors. Electr. Notes Theor. Comput. Sci. 52(3): (2001)

Coauthor Index

1Jacob Andersen [1]
2Chiara Bodei [3] [7] [9] [11]
3Michele Curti [9] [11]
4Pierpaolo Degano [3] [7] [9] [11]
5Stephen Gilmore (Stephen T. Gilmore) [8] [12]
6Valentin Haenel [12]
7René Rydhof Hansen [5]
8Jane Hillston [8]
9Hans Henrik Løvengreen [1]
10Carlo Montangero [6] [12]
11Flemming Nielson [2] [3] [4] [5] [7] [8] [9] [11]
12Hanne Riis Nielson [2] [3] [4] [5] [7] [9] [11]
13Lara Perrone [6]
14Henrik Pilegaard [5]
15Corrado Priami [9] [11]
16Helmut Seidl [5]
17Simone Semprini [6]
18Hongyan Sun [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)