BibTeX record conf/ccs/FreireNFB17

• > Home > conf/ccs/FreireNFB17

@inproceedings{DBLP:conf/ccs/FreireNFB17,
  author       = {Lucas Freire and
                  Miguel C. Neves and
                  Alberto E. Schaeffer Filho and
                  Marinho P. Barcellos},
  editor       = {Bhavani Thuraisingham and
                  David Evans and
                  Tal Malkin and
                  Dongyan Xu},
  title        = {{POSTER:} Finding Vulnerabilities in {P4} Programs with Assertion-based
                  Verification},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
                  November 03, 2017},
  pages        = {2495--2497},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133956.3138837},
  doi          = {10.1145/3133956.3138837},
  timestamp    = {Wed, 29 Jun 2022 15:37:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/FreireNFB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}