Meta data
- BibTeX key
- conf/hotos/ChenHADMS15
- entry type
- inproceedings
- booktitle
- HotOS
- year
- 2015
- publisher
- USENIX Association
- crossref
- conf/hotos/2015
- ee
- https://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_kevin
- url
- http://dblp.uni-trier.de/db/conf/hotos/hotos2015.html#ChenHADMS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hotos/ChenHADMS15
%A Chen, Kevin Zhijie
%A He, Warren
%A Akhawe, Devdatta
%A D'Silva, Vijay
%A Mittal, Prateek
%A Song, Dawn
%B HotOS
%D 2015
%E Candea, George
%I USENIX Association
%K
%T ASPIRE: Iterative Specification Synthesis for Security.
%U http://dblp.uni-trier.de/db/conf/hotos/hotos2015.html#ChenHADMS15
@inproceedings{conf/hotos/ChenHADMS15,
added-at = {2023-12-12T21:22:54.000+0100},
author = {Chen, Kevin Zhijie and He, Warren and Akhawe, Devdatta and D'Silva, Vijay and Mittal, Prateek and Song, Dawn},
biburl = {https://www.bibsonomy.org/bibtex/2dfc503a9e3682421b56df524a78b213e/admin},
booktitle = {HotOS},
crossref = {conf/hotos/2015},
editor = {Candea, George},
ee = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_kevin},
interhash = {3d51023e41b0eb6881c7d7f46f3c9d61},
intrahash = {dfc503a9e3682421b56df524a78b213e},
keywords = {},
publisher = {USENIX Association},
timestamp = {2023-12-12T21:22:54.000+0100},
title = {ASPIRE: Iterative Specification Synthesis for Security.},
url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2015.html#ChenHADMS15},
year = 2015
}