Concepedia

Mikael Buchholtz

MB

6

Publications

301

Citations

6

H-Index

2002

Active since

Affiliations

Technical University of Denmark(Current)

University of Pisa

Institute of Mathematics and Mathematical Modeling

Mikael Buchholtz is an author at Technical University of Denmark specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationData SecuritySoftware AnalysisInformation SecurityCryptographyVerificationSystem Software

Publications per year

2002–2005

6

Publications

6

Static validation of security protocols

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · Journal of Computer Security · 2005 · 121 citations

Engineering, Information Security, Verification +23

Automatic validation of protocol narration

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 95 citations

Engineering, Information Security, Verification +24

A calculus for control flow analysis of security protocols

Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson · International Journal of Information Security · 2004 · 40 citations

Security Modelling, Engineering, Information Security +12

Securing Statically-verified Communications Protocols Against Timing Attacks

Mikael Buchholtz, Stephen Gilmore, Jane Hillston et al. · Electronic Notes in Theoretical Computer Science · 2005 · 20 citations · Full text

Formal Specification, Engineering, Cryptographic Primitive +15

Control Flow Analysis Can Find New Flaws Too

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 14 citations

Rows per page

1–5 of 6