publications:
- title: "VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java"
  author:
  - name: "Bart Jacobs"
    link: "https://researchr.org/alias/bart-jacobs"
  - name: "Jan Smans"
    link: "https://researchr.org/alias/jan-smans"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frédéric Vogels"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-vogels"
  - name: "Willem Penninckx"
    link: "https://researchr.org/alias/willem-penninckx"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-20398-5_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-20398-5_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nfm/JacobsSPVPP11"
  tags:
  - "Java"
  - "C++"
  researchr: "https://researchr.org/publication/JacobsSPVPP11"
  cites: 0
  citedby: 0
  pages: "41-55"
  booktitle: "NFM"
  kind: "inproceedings"
  key: "JacobsSPVPP11"
- title: "Code Pointer Masking: Hardening Applications against Code Injection Attacks"
  author:
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Stijn Muylle"
    link: "https://researchr.org/alias/stijn-muylle"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Sven Lachmund"
    link: "https://researchr.org/alias/sven-lachmund"
  - name: "Thomas Walter"
    link: "https://researchr.org/alias/thomas-walter"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22424-9_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22424-9_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dimva/PhilippaertsYMPLW11"
  tags:
  - "injection attack"
  researchr: "https://researchr.org/publication/PhilippaertsYMPLW11"
  cites: 0
  citedby: 0
  pages: "194-213"
  booktitle: "dimva"
  kind: "inproceedings"
  key: "PhilippaertsYMPLW11"
- title: "PAriCheck: an efficient pointer arithmetic checker for C programs"
  author:
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Lorenzo Cavallaro"
    link: "https://researchr.org/alias/lorenzo-cavallaro"
  - name: "R. Sekar"
    link: "https://researchr.org/alias/r.-sekar"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1755688.1755707"
  links:
    doi: "http://doi.acm.org/10.1145/1755688.1755707"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ccs/YounanPCSPJ10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/YounanPCSPJ10"
  cites: 0
  citedby: 0
  pages: "145-156"
  booktitle: "ccs"
  kind: "inproceedings"
  key: "YounanPCSPJ10"
- title: "Filter-resistant code injection on ARM"
  author:
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  - name: "Sven Lachmund"
    link: "https://researchr.org/alias/sven-lachmund"
  - name: "Thomas Walter"
    link: "https://researchr.org/alias/thomas-walter"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s11416-010-0146-0"
  links:
    doi: "http://dx.doi.org/10.1007/s11416-010-0146-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/virology/YounanPPJLW11"
  researchr: "https://researchr.org/publication/YounanPPJLW11"
  cites: 0
  citedby: 0
  journal: "virology"
  volume: "7"
  number: "3"
  pages: "173-188"
  kind: "article"
  key: "YounanPPJLW11"
- title: "A flexible security architecture to support third-party applications on mobile devices"
  author:
  - name: "Lieven Desmet"
    link: "https://researchr.org/alias/lieven-desmet"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Katsiaryna Naliuka"
    link: "https://researchr.org/alias/katsiaryna-naliuka"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Dries Vanoverberghe"
    link: "https://researchr.org/alias/dries-vanoverberghe"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1314466.1314470"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DesmetJMNPPV07"
- title: "The S3MS.NET Run Time Monitor: Tool Demonstration"
  author:
  - name: "Lieven Desmet"
    link: "https://researchr.org/alias/lieven-desmet"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Katsiaryna Naliuka"
    link: "https://researchr.org/alias/katsiaryna-naliuka"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Dries Vanoverberghe"
    link: "https://researchr.org/alias/dries-vanoverberghe"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.11.021"
  links:
    doi: "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"
  kind: "article"
  key: "DesmetJMNPPV09"
- title: "Breaking the memory secrecy assumption"
  author:
  - name: "Raoul Strackx"
    link: "https://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0064064"
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Sven Lachmund"
    link: "https://researchr.org/alias/sven-lachmund"
  - name: "Thomas Walter"
    link: "https://researchr.org/alias/thomas-walter"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1519144.1519145"
  links:
    doi: "http://doi.acm.org/10.1145/1519144.1519145"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eurosec/StrackxYPPLW09"
  researchr: "https://researchr.org/publication/StrackxYPPLW09"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "eurosec"
  kind: "inproceedings"
  key: "StrackxYPPLW09"
- title: "Filter-resistant code injection on ARM"
  author:
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  - name: "Sven Lachmund"
    link: "https://researchr.org/alias/sven-lachmund"
  - name: "Thomas Walter"
    link: "https://researchr.org/alias/thomas-walter"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1653662.1653665"
  links:
    doi: "http://doi.acm.org/10.1145/1653662.1653665"
  researchr: "https://researchr.org/publication/YounanPPJLW09"
  cites: 0
  citedby: 0
  pages: "11-20"
  booktitle: "ccs"
  kind: "inproceedings"
  key: "YounanPPJLW09"
- title: "Report: Extensibility and Implementation Independence of the .NET Cryptographic API"
  author:
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Cédric Boon"
    link: "https://researchr.org/alias/c%C3%A9dric-boon"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00199-4_9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PhilippaertsBP09"
- title: "Efficient and Effective Buffer Overflow Protection on ARM Processors"
  author:
  - name: "Raoul Strackx"
    link: "https://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0064064"
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12368-9_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12368-9_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wistp/StrackxYPP10"
  researchr: "https://researchr.org/publication/StrackxYPP10"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "WISTP"
  kind: "inproceedings"
  key: "StrackxYPP10"
- title: "A Security Architecture for Web 2.0 Applications"
  author:
  - name: "Lieven Desmet"
    link: "https://researchr.org/alias/lieven-desmet"
  - name: "Wouter Joosen"
    link: "https://researchr.org/alias/wouter-joosen"
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Katsiaryna Naliuka"
    link: "https://researchr.org/alias/katsiaryna-naliuka"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Ida Siahaan"
    link: "https://researchr.org/alias/ida-siahaan"
  - name: "Dries Vanoverberghe"
    link: "https://researchr.org/alias/dries-vanoverberghe"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/978-1-60750-007-0-35"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-007-0-35"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fia/DesmetJMNPPSV09"
  tags:
  - "architecture"
  - "security"
  - "web applications"
  researchr: "https://researchr.org/publication/DesmetJMNPPSV09"
  cites: 0
  citedby: 0
  pages: "35-46"
  booktitle: "fia"
  kind: "inproceedings"
  key: "DesmetJMNPPSV09"
- title: "ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows"
  author:
  - name: "Steven Van Acker"
    link: "https://researchr.org/alias/steven-van-acker"
  - name: "Nick Nikiforakis"
    link: "https://researchr.org/alias/nick-nikiforakis"
  - name: "Pieter Philippaerts"
    link: "http://distrinet.cs.kuleuven.be/people/showMember.do?memberID=u0055108"
  - name: "Yves Younan"
    link: "https://researchr.org/alias/yves-younan"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17714-9_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17714-9_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iciss/AckerNPYP10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/AckerNPYP10"
  cites: 0
  citedby: 0
  pages: "156-170"
  booktitle: "iciss"
  kind: "inproceedings"
  key: "AckerNPYP10"