Testing Noninterference, Quickly (bibtex)

by Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce and Dimitrios Vytiniotis

View PDF

Reference:

Testing Noninterference, Quickly (Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce and Dimitrios Vytiniotis), In Journal of Functional Programming (JFP); Special issue for ICFP 2013, volume 26, 2016.

Bibtex Entry:

@article{testing_ni_jfp,
  author = {Catalin Hritcu and
            Leonidas Lampropoulos and
            Antal Spector-Zabusky and
            Arthur {Azevedo de Amorim} and
            Maxime D\'{e}n\`{e}s and
            John Hughes and
            Benjamin C. Pierce and
            Dimitrios Vytiniotis},
  title = {Testing Noninterference, Quickly},
  journal = {Journal of Functional Programming (JFP); Special issue for ICFP 2013},
  shortjournal = {JFP},
  volume = {26},
  year = {2016},
  month = apr,
  issn = {1469-7653},
  pages = {e4 (62 pages)},
  doi = {http://dx.doi.org/10.1017/S0956796816000058},
  ee = {http://journals.cambridge.org/article_S0956796816000058},
  url = {http://arxiv.org/abs/1409.0393},
}