Inproceedings,
A core calculus for secure hardware: its formal semantics and proof system.
T. Reynolds, A. Procter, W. Harrison, and G. Allwein.MEMOCODE, page 122-131. ACM, (2017)
Meta data
- BibTeX key
- conf/memocode/ReynoldsPHA17
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2017
- pages
- 122-131
- publisher
- ACM
- crossref
- conf/memocode/2017
- ee
- https://doi.org/10.1145/3127041.3127048
- isbn
- 978-1-4503-5093-8
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2017.html#ReynoldsPHA17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/ReynoldsPHA17
%A Reynolds, Thomas N.
%A Procter, Adam M.
%A Harrison, William L.
%A Allwein, Gerard
%B MEMOCODE
%D 2017
%E Talpin, Jean-Pierre
%E Derler, Patricia
%E Schneider, Klaus
%I ACM
%K dblp
%P 122-131
%T A core calculus for secure hardware: its formal semantics and proof system.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2017.html#ReynoldsPHA17
%@ 978-1-4503-5093-8
@inproceedings{conf/memocode/ReynoldsPHA17,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Reynolds, Thomas N. and Procter, Adam M. and Harrison, William L. and Allwein, Gerard},
biburl = {https://www.bibsonomy.org/bibtex/273dbbddb6ccaef9892535f3999e6606d/dblp},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2017},
editor = {Talpin, Jean-Pierre and Derler, Patricia and Schneider, Klaus},
ee = {https://doi.org/10.1145/3127041.3127048},
interhash = {d886e427908f18c01d2f76103bfac02a},
intrahash = {73dbbddb6ccaef9892535f3999e6606d},
isbn = {978-1-4503-5093-8},
keywords = {dblp},
pages = {122-131},
publisher = {ACM},
timestamp = {2018-11-07T15:31:51.000+0100},
title = {A core calculus for secure hardware: its formal semantics and proof system.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2017.html#ReynoldsPHA17},
year = 2017
}