default search action
BibTeX record conf/hotsos/RahimDA19
@inproceedings{DBLP:conf/hotsos/RahimDA19, author = {Muhammad Abdul Basit Ur Rahim and Qi Duan and Ehab Al{-}Shaer}, editor = {Xenofon D. Koutsoukos and Alvaro A. C{\'{a}}rdenas and Ehab Al{-}Shaer}, title = {A formal verification of mutation-based moving target defense}, booktitle = {Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019}, pages = {10:1--10:2}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314058.3317723}, doi = {10.1145/3314058.3317723}, timestamp = {Sat, 22 Jun 2019 19:16:57 +0200}, biburl = {https://dblp.org/rec/conf/hotsos/RahimDA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.