Inproceedings,
POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.
L. Freire, M. Neves, A. Filho, and M. Barcellos.CCS, page 2495-2497. ACM, (2017)
Meta data
- BibTeX key
- conf/ccs/FreireNFB17
- entry type
- inproceedings
- booktitle
- CCS
- year
- 2017
- pages
- 2495-2497
- publisher
- ACM
- crossref
- conf/ccs/2017
- ee
- https://doi.org/10.1145/3133956.3138837
- isbn
- 978-1-4503-4946-8
- url
- http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#FreireNFB17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ccs/FreireNFB17
%A Freire, Lucas
%A Neves, Miguel C.
%A Filho, Alberto E. Schaeffer
%A Barcellos, Marinho P.
%B CCS
%D 2017
%E Thuraisingham, Bhavani
%E Evans, David
%E Malkin, Tal
%E Xu, Dongyan
%I ACM
%K dblp
%P 2495-2497
%T POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.
%U http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#FreireNFB17
%@ 978-1-4503-4946-8
@inproceedings{conf/ccs/FreireNFB17,
added-at = {2024-10-06T00:00:00.000+0200},
author = {Freire, Lucas and Neves, Miguel C. and Filho, Alberto E. Schaeffer and Barcellos, Marinho P.},
biburl = {https://www.bibsonomy.org/bibtex/2a72d9603720eeeedd15b3f485964299d/dblp},
booktitle = {CCS},
crossref = {conf/ccs/2017},
editor = {Thuraisingham, Bhavani and Evans, David and Malkin, Tal and Xu, Dongyan},
ee = {https://doi.org/10.1145/3133956.3138837},
interhash = {6906021f583f78451d09c7fad0df216e},
intrahash = {a72d9603720eeeedd15b3f485964299d},
isbn = {978-1-4503-4946-8},
keywords = {dblp},
pages = {2495-2497},
publisher = {ACM},
timestamp = {2024-10-07T08:38:35.000+0200},
title = {POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification.},
url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#FreireNFB17},
year = 2017
}