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: "NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings"
  editor:
  - name: "Mihaela Gheorghiu Bobaru"
    link: "https://researchr.org/alias/mihaela-gheorghiu-bobaru"
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Gerard J. Holzmann"
    link: "https://researchr.org/alias/gerard-j.-holzmann"
  - name: "Rajeev Joshi"
    link: "https://researchr.org/alias/rajeev-joshi"
  volume: "6617"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-20397-8"
  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: "Detection of Intrusions and Malware, and Vulnerability Assessment - 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings"
  editor:
  - name: "Thorsten Holz"
    link: "https://researchr.org/alias/thorsten-holz"
  - name: "Herbert Bos"
    link: "https://researchr.org/alias/herbert-bos"
  volume: "6739"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22423-2"
  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: "Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010"
  editor:
  - name: "Dengguo Feng"
    link: "https://researchr.org/alias/dengguo-feng"
  - name: "David A. Basin"
    link: "https://researchr.org/alias/david-a.-basin"
  - name: "Peng Liu"
    link: "https://researchr.org/alias/peng-liu"
  publisher: "ACM"
  isbn: "978-1-60558-936-7"
  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: "Journal in Computer 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: "Proceedings of the 2007 ACM workshop on Computer Security Architecture, CSAW 2007, Fairfax, VA, USA, November 2, 2007"
  editor:
  - name: "Peng Ning"
    link: "https://researchr.org/alias/peng-ning"
  - name: "Vijay Atluri"
    link: "https://researchr.org/alias/vijay-atluri"
  publisher: "ACM"
  isbn: "978-1-59593-890-9"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Proceedings of the Second European Workshop on System Security, EUROSEC 2009, Nuremburg, Germany, March 31, 2009"
  editor:
  - name: "Evangelos P. Markatos"
    link: "https://researchr.org/alias/evangelos-p.-markatos"
  - name: "Manuel Costa"
    link: "https://researchr.org/alias/manuel-costa"
  publisher: "ACM"
  isbn: "978-1-60558-472-0"
  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: "Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009"
  editor:
  - name: "Ehab Al-Shaer"
    link: "https://researchr.org/alias/ehab-al-shaer"
  - name: "Somesh Jha"
    link: "https://researchr.org/alias/somesh-jha"
  - name: "Angelos D. Keromytis"
    link: "https://researchr.org/alias/angelos-d.-keromytis"
  publisher: "ACM"
  isbn: "978-1-60558-894-0"
  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: "Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings"
  editor:
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Samuel T. Redwine Jr."
    link: "https://researchr.org/alias/samuel-t.-redwine-jr."
  - name: "Nicola Zannone"
    link: "https://researchr.org/alias/nicola-zannone"
  volume: "5429"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00198-7"
  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: "Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings"
  editor:
  - name: "Pierangela Samarati"
    link: "https://researchr.org/alias/pierangela-samarati"
  - name: "Michael Tunstall"
    link: "https://researchr.org/alias/michael-tunstall"
  - name: "Joachim Posegga"
    link: "https://researchr.org/alias/joachim-posegga"
  - name: "Konstantinos Markantonakis"
    link: "https://researchr.org/alias/konstantinos-markantonakis"
  - name: "Damien Sauveron"
    link: "https://researchr.org/alias/damien-sauveron"
  volume: "6033"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12367-2"
  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: "Towards the Future Internet - A European Research Perspective"
  editor:
  - name: "Georgios Tselentis"
    link: "https://researchr.org/alias/georgios-tselentis"
  - name: "John Domingue"
    link: "https://researchr.org/alias/john-domingue"
  - name: "Alex Galis"
    link: "https://researchr.org/alias/alex-galis"
  - name: "Anastasius Gavras"
    link: "https://researchr.org/alias/anastasius-gavras"
  - name: "David Hausheer"
    link: "https://researchr.org/alias/david-hausheer"
  - name: "Srdjan Krco"
    link: "https://researchr.org/alias/srdjan-krco"
  - name: "Volkmar Lotz"
    link: "https://researchr.org/alias/volkmar-lotz"
  - name: "Theodore Zahariadis"
    link: "https://researchr.org/alias/theodore-zahariadis"
  publisher: "IOS Press"
  isbn: "978-1-60750-007-0"
  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: "Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings"
  editor:
  - name: "Somesh Jha"
    link: "https://researchr.org/alias/somesh-jha"
  - name: "Anish Mathuria"
    link: "https://researchr.org/alias/anish-mathuria"
  volume: "6503"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17713-2"
  kind: "inproceedings"
  key: "AckerNPYP10"