Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Mikael Buchholtz

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2005
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BodeiCDBNNP05
- ask others
Chiara 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)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BuchholtzGHN05
- ask others
Mikael 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)
[j3]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcs/BodeiBDNN05
- ask others
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/BuchholtzGHM05
- ask others
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pact/BodeiBCDNNP05
- ask others
Chiara 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
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tgc/Buchholtz05
- ask others
Mikael Buchholtz: Automated Analysis of Infinite Scenarios. TGC 2005: 334-352
2004
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijisec/BuchholtzNN04
- ask others
Mikael 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)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gc/BuchholtzMPS04
- ask others
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini: For-LySa: UML for Authentication Analysis. Global Computing 2004: 93-106
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/NielsonNSBHPS04
- ask others
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
2003
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csfw/BodeiBDNN03
- ask others
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
2002
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fosad/NielsonNB02
- ask others
Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz: Security for Mobility. FOSAD 2002: 207-265
2001
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BuchholtzAL01
- ask others
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen: Towards a Process Algebra for Shared Processors. Electr. Notes Theor. Comput. Sci. 52(3): 275-294 (2001)