%0 Journal Article %1 journals/tdsc/AmmarCJHD19 %A Ammar, Mahmoud %A Crispo, Bruno %A Jacobs, Bart %A Hughes, Danny %A Daniels, Wilfried %D 2019 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 5 %P 885-901 %T SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#AmmarCJHD19 %V 16

@article{journals/tdsc/AmmarCJHD19, added-at = {2022-08-16T00:00:00.000+0200}, author = {Ammar, Mahmoud and Crispo, Bruno and Jacobs, Bart and Hughes, Danny and Daniels, Wilfried}, biburl = {https://www.bibsonomy.org/bibtex/23a430d5a812f344a9bdf77c277620594/dblp}, ee = {https://www.wikidata.org/entity/Q113435714}, interhash = {a75c0f906af7354118ff526c68ec0535}, intrahash = {3a430d5a812f344a9bdf77c277620594}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 5, pages = {885-901}, timestamp = {2024-04-09T06:53:55.000+0200}, title = {SμV - The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#AmmarCJHD19}, volume = 16, year = 2019 }