Improving Computer Security Using Extended Static Checking

Brian Chess. Improving Computer Security Using Extended Static Checking. In IEEE Symposium on Security and Privacy. pages 160, 2002. [doi]

@inproceedings{Chess02,
  title = {Improving Computer Security Using Extended Static Checking},
  author = {Brian Chess},
  year = {2002},
  url = {http://computer.org/proceedings/sp/1543/15430160abs.htm},
  tags = {security},
  researchr = {https://researchr.org/publication/Chess02},
  cites = {0},
  citedby = {0},
  pages = {160},
  booktitle = {IEEE Symposium on Security and Privacy},
}