Polymorphic Relaxed Noninterference (bibtex)
by Raimil Cruz and Éric Tanter
Polymorphic Relaxed Noninterference (Raimil Cruz and Éric Tanter), In Proceedings of the IEEE Secure Development Conference (SecDev 2019), IEEE Computer Society Press, 2019.
Bibtex Entry:
  author    = {Raimil Cruz and {\'E}ric Tanter},
  title     = {Polymorphic Relaxed Noninterference},
  booktitle = {Proceedings of the {IEEE} Secure Development Conference (SecDev 2019)},
  year      = 2019,
  month     = sep,
  address   = {McLean, VA, USA},
  publisher = {IEEE Computer Society Press},
  pages     = {101--113},
  url       = {http://pleiad.dcc.uchile.cl/papers/2019/cruzTanter-secdev2019.pdf},
  doi       = {10.1109/SecDev.2019.00021},
Powered by bibtexbrowser