Inproceedings,
An Architecture Supporting Formal and Compositional Binary Analysis.
J. McMahan, M. Christensen, L. Nichols, J. Roesch, S. Guo, B. Hardekopf, and T. Sherwood.ASPLOS, page 177-191. ACM, (2017)
Meta data
- BibTeX key
- conf/asplos/McMahanCNRGHS17
- entry type
- inproceedings
- booktitle
- ASPLOS
- year
- 2017
- pages
- 177-191
- publisher
- ACM
- crossref
- conf/asplos/2017
- ee
- https://doi.org/10.1145/3093337.3037733
- isbn
- 978-1-4503-4465-4
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2017.html#McMahanCNRGHS17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/McMahanCNRGHS17
%A McMahan, Joseph
%A Christensen, Michael
%A Nichols, Lawton
%A Roesch, Jared
%A Guo, Sung-Yee
%A Hardekopf, Ben
%A Sherwood, Timothy
%B ASPLOS
%D 2017
%E Chen, Yunji
%E Temam, Olivier
%E Carter, John
%I ACM
%K dblp
%P 177-191
%T An Architecture Supporting Formal and Compositional Binary Analysis.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2017.html#McMahanCNRGHS17
%@ 978-1-4503-4465-4
@inproceedings{conf/asplos/McMahanCNRGHS17,
added-at = {2021-10-14T00:00:00.000+0200},
author = {McMahan, Joseph and Christensen, Michael and Nichols, Lawton and Roesch, Jared and Guo, Sung-Yee and Hardekopf, Ben and Sherwood, Timothy},
biburl = {https://www.bibsonomy.org/bibtex/2229e9a62583f5b3fea5ff7aad2c65ac3/dblp},
booktitle = {ASPLOS},
crossref = {conf/asplos/2017},
editor = {Chen, Yunji and Temam, Olivier and Carter, John},
ee = {https://doi.org/10.1145/3093337.3037733},
interhash = {cf24631494bfa04523fecbefd139587f},
intrahash = {229e9a62583f5b3fea5ff7aad2c65ac3},
isbn = {978-1-4503-4465-4},
keywords = {dblp},
pages = {177-191},
publisher = {ACM},
timestamp = {2024-04-10T01:54:46.000+0200},
title = {An Architecture Supporting Formal and Compositional Binary Analysis.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2017.html#McMahanCNRGHS17},
year = 2017
}