• Published

  Analysing Protocol Stacks for Services

  Publication: Research - peer-review › Book chapter – Annual report year: 2011

• Published

  CaPiTo: protocol stacks for services

  Publication: Research - peer-review › Journal article – Annual report year: 2011

• Published

  Detecting and Preventing Type flaws at Static Time

  Publication: Research - peer-review › Conference article – Annual report year: 2010

View all »

• Journal of Computer Security

  ISSNs: 0926-227X

  I O S Press, Netherlands

  FI (2012): 2, ISI indexed (2012): no

  Central database

  Journal

• Formal Aspects of Computing

  ISSNs: 0934-5043

  Springer U K, United Kingdom

  FI (2012): 2, ISI indexed (2012): yes

  Central database

  Journal

• Completed

  Secure Communication Protocols

  Project: PhD

• Springer, 0-387

  Central database

  Publisher

• Technical University of Denmark (DTU)

  Local database

  Publisher

• IEEE, 0-7803

  Central database

  Publisher