@misc{indiciaec4a6cf05a48c,
  title = {Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification},
  author = {Domenico Cotroneo and Luigi De Simone and Roberto Natella},
  year = {2021},
  doi = {10.1016/j.cose.2021.102307},
  url = {https://arxiv.org/abs/2104.13660},
  note = {Source identifier: 2104.13660}
}