Pieter Philippaerts - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Pieter Philippaerts' as author, editor, or advisor:

Software verification with VeriFast: Industrial case studiesPieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs 0002, Frank Piessens. SCP, 82:77-97, 2014. [doi]
Revisiting OAuth 2.0 Compliance: A Two-Year Follow-Up StudyPieter Philippaerts, Davy Preuveneers, Wouter Joosen. eurosp 2023: 521-525 [doi]
T3E: A Practical Solution to Trusted Time in Secure EnclavesGilang Mentari Hamidy, Pieter Philippaerts, Wouter Joosen. NSS 2023: 305-326 [doi]
Security Middleware for Mobile ApplicationsBart De Win, Tom Goovaerts, Wouter Joosen, Pieter Philippaerts, Frank Piessens, Yves Younan. In Benoît Garbinato, Hugo Miranda, Luís E. T. Rodrigues, editors, Middleware for Network Eccentric and Mobile Applications. pages 265-284, Springer, 2009. [doi]
Security-by-contract on the .NET platformLieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Siahaan, Dries Vanoverberghe. istr, 13(1):25-32, 2008. [doi]
SecSharp: Towards Efficient Trusted Execution in Managed Languages (Work in Progress)Gilang Mentari Hamidy, Pieter Philippaerts, Wouter Joosen. PPPJ 2022: 119-127 [doi]
ProtoLeaks: A Reliable and Protocol-Independent Network Covert ChannelArne Swinnen, Raoul Strackx, Pieter Philippaerts, Frank Piessens. iciss 2012: 119-133 [doi]
TC4SE: A High-Performance Trusted Channel Mechanism for Secure Enclave-Based Trusted Execution EnvironmentsGilang Mentari Hamidy, Sri Yulianti, Pieter Philippaerts, Wouter Joosen. isw 2023: 246-264 [doi]
A User-Centric Approach to API Delegations - Enforcing Privacy Policies on OAuth DelegationsShirin Kalantari, Pieter Philippaerts, Yana Dimova, Danny Hughes 0001, Wouter Joosen, Bart De Decker. esorics 2024: 318-337 [doi]
CPM: Masking Code Pointers to Prevent Code Injection AttacksPieter Philippaerts, Yves Younan, Stijn Muylle, Frank Piessens, Sven Lachmund, Thomas Walter. tissec, 16(1):1, 2013. [doi]
A Quantitative Assessment of the Detection Performance of Web Vulnerability ScannersEmma Lavens, Pieter Philippaerts, Wouter Joosen. IEEEares 2022: [doi]
The Belgian Electronic Identity Card: a Verification Case StudyPieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens. eceasst, 46, 2011. [doi]
OAuch: Exploring Security Compliance in the OAuth 2.0 EcosystemPieter Philippaerts, Davy Preuveneers, Wouter Joosen. raid 2022: 460-481 [doi]
Idea: Towards an Inverted CloudRaoul Strackx, Pieter Philippaerts, Frédéric Vogels. ESSoS 2015: 111-118 [doi]

runs on WebDSL