BibTeX record conf/ccs/MartinelliMNS17

• > Home > conf/ccs/MartinelliMNS17

@inproceedings{DBLP:conf/ccs/MartinelliMNS17,
  author       = {Fabio Martinelli and
                  Francesco Mercaldo and
                  Vittoria Nardone and
                  Antonella Santone},
  editor       = {Ramesh Karri and
                  Ozgur Sinanoglu and
                  Ahmad{-}Reza Sadeghi and
                  Xun Yi},
  title        = {How Discover a Malware using Model Checking},
  booktitle    = {Proceedings of the 2017 {ACM} on Asia Conference on Computer and Communications
                  Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6,
                  2017},
  pages        = {902--904},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3052973.3055157},
  doi          = {10.1145/3052973.3055157},
  timestamp    = {Sun, 12 Nov 2023 02:11:41 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/MartinelliMNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}