Polymorphic Relaxed Noninterference (bibtex)
by Raimil Cruz and Éric Tanter
Reference:
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:
@inproceedings{cruzTanter:secdev2019,
  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