A rigorous and efficient run-time security monitor for real-time critical embedded system applications

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe. A rigorous and efficient run-time security monitor for real-time critical embedded system applications. In 3rd IEEE World Forum on Internet of Things, WF-IoT 2016, Reston, VA, USA, December 12-14, 2016. pages 100-105, IEEE Computer Society, 2016. [doi]

@inproceedings{KhanSS16,
  title = {A rigorous and efficient run-time security monitor for real-time critical embedded system applications},
  author = {Muhammad Taimoor Khan and Dimitrios N. Serpanos and Howard E. Shrobe},
  year = {2016},
  doi = {10.1109/WF-IoT.2016.7845510},
  url = {http://doi.ieeecomputersociety.org/10.1109/WF-IoT.2016.7845510},
  researchr = {https://researchr.org/publication/KhanSS16},
  cites = {0},
  citedby = {0},
  pages = {100-105},
  booktitle = {3rd IEEE World Forum on Internet of Things, WF-IoT 2016, Reston, VA, USA, December 12-14, 2016},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-4130-5},
}