Verification of a Trusted Virtual Security Module

Ronald Tögl

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationAnalysis of Security APIs (Dagstuhl Seminar 12482)
Place of PublicationDagstuhl
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Pages166-166
DOIs
Publication statusPublished - 2013
EventAnalysis of Security APIs (Dagstuhl Seminar 12482) - Dagstuhl, Germany
Duration: 26 Nov 201228 Nov 2012

Publication series

NameDagstuhl Reports
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Conference

ConferenceAnalysis of Security APIs (Dagstuhl Seminar 12482)
CountryGermany
CityDagstuhl
Period26/11/1228/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • Experimental

Cite this

Tögl, R. (2013). Verification of a Trusted Virtual Security Module. In Analysis of Security APIs (Dagstuhl Seminar 12482) (pp. 166-166). (Dagstuhl Reports). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. https://doi.org/10.4230/DagRep.2.11.155

Verification of a Trusted Virtual Security Module. / Tögl, Ronald.

Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2013. p. 166-166 (Dagstuhl Reports).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Tögl, R 2013, Verification of a Trusted Virtual Security Module. in Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl, pp. 166-166, Analysis of Security APIs (Dagstuhl Seminar 12482), Dagstuhl, Germany, 26/11/12. https://doi.org/10.4230/DagRep.2.11.155
Tögl R. Verification of a Trusted Virtual Security Module. In Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. 2013. p. 166-166. (Dagstuhl Reports). https://doi.org/10.4230/DagRep.2.11.155
Tögl, Ronald. / Verification of a Trusted Virtual Security Module. Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2013. pp. 166-166 (Dagstuhl Reports).
@inproceedings{03c4f763c8a6493faf45a66539887f3f,
title = "Verification of a Trusted Virtual Security Module",
author = "Ronald T{\"o}gl",
year = "2013",
doi = "10.4230/DagRep.2.11.155",
language = "English",
series = "Dagstuhl Reports",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik GmbH",
pages = "166--166",
booktitle = "Analysis of Security APIs (Dagstuhl Seminar 12482)",
address = "Germany",

}

TY - GEN

T1 - Verification of a Trusted Virtual Security Module

AU - Tögl, Ronald

PY - 2013

Y1 - 2013

UR - http://drops.dagstuhl.de/opus/volltexte/2013/3983/

U2 - 10.4230/DagRep.2.11.155

DO - 10.4230/DagRep.2.11.155

M3 - Conference contribution

T3 - Dagstuhl Reports

SP - 166

EP - 166

BT - Analysis of Security APIs (Dagstuhl Seminar 12482)

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

CY - Dagstuhl

ER -