Publications of Pieter Philippaerts

period 2008 - 2013

Articles in internationally reviewed journals

3 references

• Philippaerts, Pieter; Mühlberg, Jan Tobias; Penninckx, Willem; Smans, Jan; Jacobs, Bart; Piessens, Frank. Software verification with VeriFast: Industrial case studies, Science of Computer Programming, 2013 (Accepted)

  @article{388689,
    author = "Philippaerts, Pieter and M{\"u}hlberg, Jan Tobias and Penninckx, Willem and Smans, Jan and Jacobs, Bart and Piessens, Frank",
    title = "Software verification with {V}eri{F}ast: {I}ndustrial case studies",
    journal = "Science of Computer Programming",
    month = Feb,
    year = "2013",
    doi = "10.1016/j.scico.2013.01.006",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/388689",
  }
  

• Philippaerts, Pieter; Younan, Yves; Muylle, Stijn; Piessens, Frank; Lachmund, Sven; Walter, Thomas. CPM: Masking code pointers to prevent code injection attacks, ACM Transactions on Information and System Security, 2013 (Accepted)

  @article{388951,
    author = "Philippaerts, Pieter and Younan, Yves and Muylle, Stijn and Piessens, Frank and Lachmund, Sven and Walter, Thomas",
    title = "{CPM}: {M}asking code pointers to prevent code injection attacks",
    journal = "ACM Transactions on Information and System Security",
    year = "2013",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/388951",
  }
  

• Younan, Yves; Philippaerts, Pieter; Piessens, Frank; Joosen, Wouter; Lachmund, Sven; Walter, Thomas. Filter-resistant code injection on ARM, Journal in Computer Virology, volume 7, issue 3, pages 173-188, 2011

  @article{286584,
    author = "Younan, Yves and Philippaerts, Pieter and Piessens, Frank and Joosen, Wouter and Lachmund, Sven and Walter, Thomas",
    title = "Filter-resistant code injection on {ARM}",
    journal = "Journal in Computer Virology",
    volume = "7",
    number = "3",
    pages = "173--188",
    year = "2011",
    doi = "10.1007/s11416-010-0146-0",
    url = "https://lirias.kuleuven.be/handle/123456789/286584",
  }
  

Articles in other journals

1 reference

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Philippaerts, Pieter; Piessens, Frank; Siahaan, Ida; Vanoverberghe, Dries. Security-by-contract on the .NET platform, Information Security Technical Report, volume 13, issue 1, pages 25-32, 2008

  @article{183893,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Philippaerts, Pieter and Piessens, Frank and Siahaan, Ida and Vanoverberghe, Dries",
    title = "Security-by-contract on the .{NET} platform",
    journal = "Information Security Technical Report",
    volume = "13",
    number = "1",
    pages = "25--32",
    month = May,
    year = "2008",
    doi = "10.1016/j.istr.2008.02.001",
    url = "https://lirias.kuleuven.be/handle/123456789/183893",
  }
  

Article in book, internationally recognised scientific publisher

2 references

• De Win, Bart; Goovaerts, Tom; Joosen, Wouter; Philippaerts, Pieter; Piessens, Frank; Younan, Yves. Security middleware for mobile applications, Garbinato, B.; Miranda, H.; Rodrigues, L (eds.), Springer, 2009

  @incollection{222127,
    author = "De Win, Bart and Goovaerts, Tom and Joosen, Wouter and Philippaerts, Pieter and Piessens, Frank and Younan, Yves",
    title = "Security middleware for mobile applications",
    editor = "Garbinato, B. and Miranda, H. and Rodrigues, L.",
    publisher = "Springer",
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/222127",
  }
  

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Naliuka, Katsiaryna; Philippaerts, Pieter; Piessens, Frank; Siahaan, Ida; Vanoverberghe, Dries. A security architecture for Web 2.0 applications, Tselentis, Georgios; Domingue, John; Galis, Alex; Gavras, Anastasius; Hausheer, David; Krco, Srdjan; Lotz, Volkmar; Zahariadis, Theodore (eds.), IOS Press, 2009

  @incollection{234035,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Naliuka, Katsiaryna and Philippaerts, Pieter and Piessens, Frank and Siahaan, Ida and Vanoverberghe, Dries",
    title = "A security architecture for {W}eb 2.0 applications",
    editor = "Tselentis, Georgios and Domingue, John and Galis, Alex and Gavras, Anastasius and Hausheer, David and Krco, Srdjan and Lotz, Volkmar and Zahariadis, Theodore",
    publisher = "IOS Press",
    location = "Amsterdam",
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/234035",
  }
  

Papers at international conferences and symposia, published in full in proceedings

11 references

• Swinnen, Arne; Strackx, Raoul; Philippaerts, Pieter; Piessens, Frank. ProtoLeaks: A reliable and protocol-independent network covert channel, International Conference on Information System Security (ICISS 2012), Guwahati, India, 15-19 December 2012, Proceedings of the International Conference on Information System Security (ICISS 2012), pages 119-133, Springer Verlag

  @inproceedings{371727,
    author = "Swinnen, Arne and Strackx, Raoul and Philippaerts, Pieter and Piessens, Frank",
    title = "Proto{L}eaks: {A} reliable and protocol-independent network covert channel",
    booktitle = "Proceedings of the International Conference on Information System Security (ICISS 2012), ",
    publisher = "Springer Verlag",
    pages = "119--133",
    month = Dec,
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/371727",
  }
  

• Jacobs, Bart; Smans, Jan; Philippaerts, Pieter; Vogels, Frédéric; Penninckx, Willem; Piessens, Frank. VeriFast: A powerful, sound, predictable, fast verifier for C and Java, NASA Formal Methods (NFM 2011), Pasadena, USA, 18-20 April 2011, NASA Formal Methods, volume 6617, pages 41-55, Springer

  @inproceedings{312066,
    author = "Jacobs, Bart and Smans, Jan and Philippaerts, Pieter and Vogels, Fr{\'e}d{\'e}ric and Penninckx, Willem and Piessens, Frank",
    title = "Veri{F}ast: {A} powerful, sound, predictable, fast verifier for {C} and {J}ava",
    booktitle = "NASA Formal Methods, ",
    publisher = "Springer",
    pages = "41--55",
    year = "2011",
    doi = "10.1007/978-3-642-20398-5\_{}4",
    url = "https://lirias.kuleuven.be/handle/123456789/312066",
  }
  

• Philippaerts, Pieter; Vogels, Frédéric; Smans, Jan; Jacobs, Bart; Piessens, Frank. The Belgian electronic identity card: a verification case study, International Workshop Automated Verification of Critical Systems, Newcastle, 12-14 September 2011, Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11)

  @inproceedings{316104,
    author = "Philippaerts, Pieter and Vogels, Fr{\'e}d{\'e}ric and Smans, Jan and Jacobs, Bart and Piessens, Frank",
    title = "The {B}elgian electronic identity card: a verification case study",
    booktitle = "Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11), ",
    month = Sep,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/316104",
  }
  

• Philippaerts, Pieter; Younan, Yves; Muylle, Stijn; Piessens, Frank; Lachmund, Sven; Walter, Thomas. Code Pointer Masking: Hardening applications against code injection attacks, Holz, Thorsten; Bos, Herbert (eds.), Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA 2011), Amsterdam, 7-8 July 2011, Proceedings of the Detection of Intrusions and Malware and Vulnerability Assessment Conference (DIMVA 2011), pages 194-213, Springer

  @inproceedings{312454,
    author = "Philippaerts, Pieter and Younan, Yves and Muylle, Stijn and Piessens, Frank and Lachmund, Sven and Walter, Thomas",
    title = "Code {P}ointer {M}asking: {H}ardening applications against code injection attacks",
    booktitle = "Proceedings of the Detection of Intrusions and Malware and Vulnerability Assessment Conference (DIMVA 2011), ",
    editor = "Holz, Thorsten and Bos, Herbert",
    publisher = "Springer",
    location = "Berlin Heidelberg",
    pages = "194--213",
    month = Jul,
    year = "2011",
    doi = "10.1007/978-3-642-22424-9",
    url = "https://lirias.kuleuven.be/handle/123456789/312454",
  }
  

• Strackx, Raoul; Younan, Yves; Philippaerts, Pieter; Piessens, Frank. Efficient and effective buffer overflow protection on ARM processors, Samarati, Pierangela; Tunstall, Michael; Posegga, Joachim; Markantonakis, Konstantinos; Sauveron, Damien (eds.), Workshop in Information Security Theory and Practice Series, Passau, Germany, 12-14 April 2010, Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices, volume 6033, pages 1-16, Springer

  @inproceedings{266377,
    author = "Strackx, Raoul and Younan, Yves and Philippaerts, Pieter and Piessens, Frank",
    title = "Efficient and effective buffer overflow protection on {ARM} processors",
    booktitle = "Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices, ",
    editor = "Samarati, Pierangela and Tunstall, Michael and Posegga, Joachim and Markantonakis, Konstantinos and Sauveron, Damien",
    publisher = "Springer",
    location = "Berlin Heidelberg New York",
    pages = "1--16",
    month = Apr,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/266377",
  }
  

• Van Acker, Steven; Nikiforakis, Nick; Philippaerts, Pieter; Younan, Yves; Piessens, Frank. ValueGuard: Protection of native applications against data-only buffer overflows, Jha, Somesh; Mathuria, Anish (eds.), ICISS (International Conference on Information Systems Security), Gandhinagar, India, 15-19 December 2010, Lecture Notes in Computer Science, volume 6503, pages 156-170, Springer

  @inproceedings{289765,
    author = "Van Acker, Steven and Nikiforakis, Nick and Philippaerts, Pieter and Younan, Yves and Piessens, Frank",
    title = "Value{G}uard: {P}rotection of native applications against data-only buffer overflows",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Jha, Somesh and Mathuria, Anish",
    publisher = "Springer",
    location = "Berlin / Heidelberg",
    pages = "156--170",
    month = Dec,
    year = "2010",
    doi = "1007/978-3-642-17714-9\_{}12",
    url = "https://lirias.kuleuven.be/handle/123456789/289765",
  }
  

• Younan, Yves; Philippaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter. PAriCheck: an efficient pointer arithmetic checker for C programs, ACM Symposium on Information, Computer and Communications Security, Beijing, China, 13-16 April 2010, Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, pages 145-156, ACM

  @inproceedings{267048,
    author = "Younan, Yves and Philippaerts, Pieter and Cavallaro, Lorenzo and Sekar, R. and Piessens, Frank and Joosen, Wouter",
    title = "{PA}ri{C}heck: an efficient pointer arithmetic checker for {C} programs",
    booktitle = "Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ",
    publisher = "ACM",
    location = "New York, NY, USA",
    pages = "145--156",
    month = Apr,
    year = "2010",
    doi = "10.1145/1755688.1755707",
    url = "https://lirias.kuleuven.be/handle/123456789/267048",
  }
  

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Katsiaryna, Naliuka; Philippaerts, Pieter; Piessens, Frank; Vanoverberghe, Dries. The S3MS.NET run time monitor: Tool demonstration, Albert, Elvira; Genaim, Samir (eds.), Bytecode, York, 29 March 2009, Electronic Notes in Theoretical Computer Science, volume 253, issue 5, pages 153-159, Springer

  @inproceedings{228741,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Katsiaryna, Naliuka and Philippaerts, Pieter and Piessens, Frank and Vanoverberghe, Dries",
    title = "The {S}3{MS}.{NET} run time monitor: {T}ool demonstration",
    booktitle = "Electronic Notes in Theoretical Computer Science, ",
    editor = "Albert, Elvira and Genaim, Samir",
    publisher = "Springer",
    pages = "153--159",
    month = Dec,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/228741",
  }
  

• Philippaerts, Pieter; Boon, Cédric; Piessens, Frank. Report: Extensibility and implementation independence of the .NET cryptographic API, ESSoS, Leuven, February 04-06, 2009, Lecture Notes in Computer Science, volume 5429, pages 101-110, Springer

  @inproceedings{213692,
    author = "Philippaerts, Pieter and Boon, C{\'e}dric and Piessens, Frank",
    title = "Report: {E}xtensibility and implementation independence of the .{NET} cryptographic {API}",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "101--110",
    year = "2009",
    doi = "10.1007/978-3-642-00199-4\_{}9",
    url = "https://lirias.kuleuven.be/handle/123456789/213692",
  }
  

• Strackx, Raoul; Younan, Yves; Philippaerts, Pieter; Piessens, Frank; Lachmund, Sven; Walter, Thomas. Breaking the memory secrecy assumption, Markatos, Envagelos; Costa, Manuel (eds.), Eurosec, Nuremberg, 31 March 2009, Proceedings of the 2nd European Workshop on System Security, pages 1-8, Association for Computing Machinery (ACM)

  @inproceedings{228745,
    author = "Strackx, Raoul and Younan, Yves and Philippaerts, Pieter and Piessens, Frank and Lachmund, Sven and Walter, Thomas",
    title = "Breaking the memory secrecy assumption",
    booktitle = "Proceedings of the 2nd European Workshop on System Security, ",
    editor = "Markatos, Envagelos and Costa, Manuel",
    publisher = "Association for Computing Machinery (ACM)",
    location = "New York",
    pages = "1--8",
    month = Mar,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/228745",
  }
  

• Younan, Yves; Philippaerts, Pieter; Piessens, Frank; Joosen, Wouter; Lachmund, Sven; Walter, Thomas. Filter-resistant code injection on ARM, Conference on Computer and Communications Security (CCS), Chicago, 9-13 November 2009, Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS 2009), pages 11-20, The association for computing machinery

  @inproceedings{242079,
    author = "Younan, Yves and Philippaerts, Pieter and Piessens, Frank and Joosen, Wouter and Lachmund, Sven and Walter, Thomas",
    title = "Filter-resistant code injection on {ARM}",
    booktitle = "Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS 2009), ",
    publisher = "The association for computing machinery",
    location = "New York",
    pages = "11--20",
    month = Nov,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/242079",
  }
  

Meeting abstracts, presented at international conferences and symposia

1 reference

• Boon, Cédric; Philippaerts, Pieter; Piessens, Frank. Practical experience with the .NET cryptographic API, Benelux Workshop on Information and System Security, Eindhoven, 13-14 November, 2008

  @unpublished{203426,
    author = "Boon, C{\'e}dric and Philippaerts, Pieter and Piessens, Frank",
    title = "Practical experience with the .{NET} cryptographic {API}",
    note = "Benelux Workshop on Information and System Security, Eindhoven, 13-14 November, 2008",
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/203426",
  }
  

Thesis

1 reference

• Philippaerts, Pieter. Security of Software on Mobile Devices , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, October 2010, 134 pages, isbn: 978-946-018-266-2, Piessens, Frank and Joosen, Wouter (supervisors)

  @phdthesis{274862,
    author = "Philippaerts, Pieter",
    title = "Security of {S}oftware on {M}obile {D}evices ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "134",
    month = Oct,
    year = "2010",
    note = "Piessens, Frank and Joosen, Wouter (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/274862",
  }
  

Internal reports

3 references

• Fontaine, Arnaud; Gadyatskaya, Olga; Piessens, Frank; Simplot-Ryl, Isabelle; Mühlberg, Jan Tobias; Massacci, Fabio; Phillipov, Anton; Capelastegui, Pedro; Jacobs, Bart; Philippaerts, Pieter. SecureChange public project deliverable D6.6: Development-time and on-device interplay, 97 pages, 2012

  @techreport{355251,
    author = "Fontaine, Arnaud and Gadyatskaya, Olga and Piessens, Frank and Simplot-Ryl, Isabelle and M{\"u}hlberg, Jan Tobias and Massacci, Fabio and Phillipov, Anton and Capelastegui, Pedro and Jacobs, Bart and Philippaerts, Pieter",
    title = "Secure{C}hange public project deliverable {D}6.6: {D}evelopment-time and on-device interplay",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/355251",
  }
  

• Younan, Yves; Philippaerts, Pieter; Cavallaro, Lorenzo; Sekar, R.; Piessens, Frank; Joosen, Wouter. PAriCheck: an efficient pointer arithmetic checker for C programs, CW Reports, volume CW554, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009

  @techreport{237023,
    author = "Younan, Yves and Philippaerts, Pieter and Cavallaro, Lorenzo and Sekar, R. and Piessens, Frank and Joosen, Wouter",
    title = "{PA}ri{C}heck: an efficient pointer arithmetic checker for {C} programs",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW554",
    month = Jun,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/237023",
  }
  

• Boon, Cédric; Philippaerts, Pieter; Piessens, Frank. Practical experience with the .NET cryptographic API, CW Reports, volume CW531, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2008

  @techreport{208274,
    author = "Boon, C{\'e}dric and Philippaerts, Pieter and Piessens, Frank",
    title = "Practical experience with the .{NET} cryptographic {API}",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW531",
    month = Nov,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/208274",
  }
  

Misc.

1 reference

• Philippaerts, Pieter; Younan, Yves. with contribution of Piessens, Frank., Alphanumeric RISC ARM shellcode, Alphanumeric ARM Shellcode, issue 66, June 2009

  @misc{234034,
    author = "Philippaerts, Pieter and Younan, Yves",
    title = "Alphanumeric {RISC} {ARM} shellcode",
    journal = "Alphanumeric ARM Shellcode",
    publisher = "Phrack Magazine",
    number = "66",
    month = Jun,
    year = "2009",
    note = "With contribution of Piessens, Frank",
    url = "https://lirias.kuleuven.be/handle/123456789/234034",
  }
  

External reports

1 reference

• De Ryck, Philippe; Desmet, Lieven; Philippaerts, Pieter; Piessens, Frank. A security analysis of next generation web standards, European Network and Information Security Agency (ENISA), July 2011

  @techreport{317385,
    author = "De Ryck, Philippe and Desmet, Lieven and Philippaerts, Pieter and Piessens, Frank",
    title = "A security analysis of next generation web standards",
    institution = "European Network and Information Security Agency (ENISA)",
    month = Jul,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/317385",
  }
  

No publications found for the period 2008-2013 and the types

• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at other conferences and symposia
• Review
• Translation without scientific introduction
• Scientific popularisation

 
Last update local database Sun May 12 2013 0:18 am; It contains 25 publications of Pieter Philippaerts.