Verification of a Trusted Virtual Security Module

Ronald Tögl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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