@inproceedings{do:hal-01345131,
  TITLE = {{Exploit Generation for Information Flow Leaks in Object-Oriented Programs}},
  AUTHOR = {Do, Quoc Huy and Bubel, Richard and H{\"a}hnle, Reiner},
  URL = {https://inria.hal.science/hal-01345131},
  NOTE = {Part 6: Software Security},
  BOOKTITLE = {{30th IFIP International Information Security Conference (SEC)}},
  ADDRESS = {Hamburg, Germany},
  EDITOR = {Hannes Federrath and Dieter Gollmann},
  SERIES = {ICT Systems Security and Privacy Protection},
  VOLUME = {AICT-455},
  PAGES = {401-415},
  YEAR = {2015},
  MONTH = May,
  DOI = {10.1007/978-3-319-18467-8\_27},
  KEYWORDS = {Test generation ; Symbolic execution ; Information flow},
  PDF = {https://inria.hal.science/hal-01345131/file/337885_1_En_27_Chapter.pdf},
  HAL_ID = {hal-01345131},
  HAL_VERSION = {v1},
}