@inproceedings{JacobsSPVPP11,
  title = {VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java},
  author = {Bart Jacobs and Jan Smans and Pieter Philippaerts and Frédéric Vogels and Willem Penninckx and Frank Piessens},
  year = {2011},
  doi = {10.1007/978-3-642-20398-5_4},
  url = {http://dx.doi.org/10.1007/978-3-642-20398-5_4},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/JacobsSPVPP11},
  cites = {0},
  citedby = {0},
  pages = {41-55},
  booktitle = {NFM},
}

@inproceedings{PhilippaertsYMPLW11,
  title = {Code Pointer Masking: Hardening Applications against Code Injection Attacks},
  author = {Pieter Philippaerts and Yves Younan and Stijn Muylle and Frank Piessens and Sven Lachmund and Thomas Walter},
  year = {2011},
  doi = {10.1007/978-3-642-22424-9_12},
  url = {http://dx.doi.org/10.1007/978-3-642-22424-9_12},
  tags = {injection attack},
  researchr = {https://researchr.org/publication/PhilippaertsYMPLW11},
  cites = {0},
  citedby = {0},
  pages = {194-213},
  booktitle = {dimva},
}

@inproceedings{YounanPCSPJ10,
  title = {PAriCheck: an efficient pointer arithmetic checker for C programs},
  author = {Yves Younan and Pieter Philippaerts and Lorenzo Cavallaro and R. Sekar and Frank Piessens and Wouter Joosen},
  year = {2010},
  doi = {10.1145/1755688.1755707},
  url = {http://doi.acm.org/10.1145/1755688.1755707},
  tags = {C++},
  researchr = {https://researchr.org/publication/YounanPCSPJ10},
  cites = {0},
  citedby = {0},
  pages = {145-156},
  booktitle = {ccs},
}

@article{YounanPPJLW11,
  title = {Filter-resistant code injection on ARM},
  author = {Yves Younan and Pieter Philippaerts and Frank Piessens and Wouter Joosen and Sven Lachmund and Thomas Walter},
  year = {2011},
  doi = {10.1007/s11416-010-0146-0},
  url = {http://dx.doi.org/10.1007/s11416-010-0146-0},
  researchr = {https://researchr.org/publication/YounanPPJLW11},
  cites = {0},
  citedby = {0},
  journal = {virology},
  volume = {7},
  number = {3},
  pages = {173-188},
}

@inproceedings{DesmetJMNPPV07,
  title = {A flexible security architecture to support third-party applications on mobile devices},
  author = {Lieven Desmet and Wouter Joosen and Fabio Massacci and Katsiaryna Naliuka and Pieter Philippaerts and Frank Piessens and Dries Vanoverberghe},
  year = {2007},
  doi = {10.1145/1314466.1314470},
  url = {http://doi.acm.org/10.1145/1314466.1314470},
  tags = {architecture, security, mobile},
  researchr = {https://researchr.org/publication/DesmetJMNPPV07},
  cites = {0},
  citedby = {0},
  pages = {19-28},
  booktitle = {ccs},
}

@article{DesmetJMNPPV09,
  title = {The S3MS.NET Run Time Monitor: Tool Demonstration},
  author = {Lieven Desmet and Wouter Joosen and Fabio Massacci and Katsiaryna Naliuka and Pieter Philippaerts and Frank Piessens and Dries Vanoverberghe},
  year = {2009},
  doi = {10.1016/j.entcs.2009.11.021},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.11.021},
  researchr = {https://researchr.org/publication/DesmetJMNPPV09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {253},
  number = {5},
  pages = {153-159},
}

@inproceedings{StrackxYPPLW09,
  title = {Breaking the memory secrecy assumption},
  author = {Raoul Strackx and Yves Younan and Pieter Philippaerts and Frank Piessens and Sven Lachmund and Thomas Walter},
  year = {2009},
  doi = {10.1145/1519144.1519145},
  url = {http://doi.acm.org/10.1145/1519144.1519145},
  researchr = {https://researchr.org/publication/StrackxYPPLW09},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {eurosec},
}

@inproceedings{YounanPPJLW09,
  title = {Filter-resistant code injection on ARM},
  author = {Yves Younan and Pieter Philippaerts and Frank Piessens and Wouter Joosen and Sven Lachmund and Thomas Walter},
  year = {2009},
  doi = {10.1145/1653662.1653665},
  url = {http://doi.acm.org/10.1145/1653662.1653665},
  researchr = {https://researchr.org/publication/YounanPPJLW09},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {ccs},
}

@inproceedings{PhilippaertsBP09,
  title = {Report: Extensibility and Implementation Independence of the .NET Cryptographic API},
  author = {Pieter Philippaerts and Cédric Boon and Frank Piessens},
  year = {2009},
  doi = {10.1007/978-3-642-00199-4_9},
  url = {http://dx.doi.org/10.1007/978-3-642-00199-4_9},
  researchr = {https://researchr.org/publication/PhilippaertsBP09},
  cites = {0},
  citedby = {0},
  pages = {101-110},
  booktitle = {ESSoS},
}

@inproceedings{StrackxYPP10,
  title = {Efficient and Effective Buffer Overflow Protection on ARM Processors},
  author = {Raoul Strackx and Yves Younan and Pieter Philippaerts and Frank Piessens},
  year = {2010},
  doi = {10.1007/978-3-642-12368-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-12368-9_1},
  researchr = {https://researchr.org/publication/StrackxYPP10},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {WISTP},
}

@inproceedings{DesmetJMNPPSV09,
  title = {A Security Architecture for Web 2.0 Applications},
  author = {Lieven Desmet and Wouter Joosen and Fabio Massacci and Katsiaryna Naliuka and Pieter Philippaerts and Frank Piessens and Ida Siahaan and Dries Vanoverberghe},
  year = {2009},
  doi = {10.3233/978-1-60750-007-0-35},
  url = {http://dx.doi.org/10.3233/978-1-60750-007-0-35},
  tags = {architecture, security, web applications},
  researchr = {https://researchr.org/publication/DesmetJMNPPSV09},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {fia},
}

@inproceedings{AckerNPYP10,
  title = {ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows},
  author = {Steven Van Acker and Nick Nikiforakis and Pieter Philippaerts and Yves Younan and Frank Piessens},
  year = {2010},
  doi = {10.1007/978-3-642-17714-9_12},
  url = {http://dx.doi.org/10.1007/978-3-642-17714-9_12},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/AckerNPYP10},
  cites = {0},
  citedby = {0},
  pages = {156-170},
  booktitle = {iciss},
}