%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 }