A Procedure for Verifying Security Against Type Confusion Attacks

Catherine Meadows. A Procedure for Verifying Security Against Type Confusion Attacks. In 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA. pages 62, IEEE Computer Society, 2003. [doi]

@inproceedings{Meadows03,
  title = {A Procedure for Verifying Security Against Type Confusion Attacks},
  author = {Catherine Meadows},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270062abs.htm},
  tags = {security},
  researchr = {https://researchr.org/publication/Meadows03},
  cites = {0},
  citedby = {0},
  pages = {62},
  booktitle = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1927-X},
}