Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

CoCoME with Security

Technical Report
Author(s):Simon Greiner and Mihai Herda
Institution:Department of Informatics, Karlsruhe Institute of Technology
Publisher:KIT
Series:Karlsruhe Reports in Informatics ; 2017,2
Number:2017,2
Year:2017
DOI:10.5445/IR/1000065106

BibTeX

@techreport{SWB-482506385,
    title       = {CoCoME with Security},
    series      = {Karlsruhe Reports in Informatics ; 2017,2},
    number      = {2017,2},
    institution = {Department of Informatics, Karlsruhe Institute of Technology},
    author      = {Simon Greiner and Mihai Herda},
    address     = {Karlsruhe},
    publisher   = {KIT},
    year        = {2017},
    month       = apr,
    doi         = {10.5445/IR/1000065106}
}