Pieter Agten - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2017

Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLDThomas Vissers, Jan Spooren, Pieter Agten, Dirk Jumpertz, Peter Janssen, Marc Van Wesemael, Frank Piessens, Wouter Joosen, Lieven Desmet. raid 2017: 472-493 [doi]

2015

Sound Modular Reasoning about Security Properties of Imperative Programs ; Correct modulair redeneren over beveiligingseigenschappen van imperatieve computerprogramma'sPieter Agten. PhD thesis, Katholieke Universiteit Leuven, Belgium, 2015. [doi]

Sound Modular Verification of C Code Executing in an Unverified ContextPieter Agten, Bart Jacobs 0002, Frank Piessens. POPL 2015: 581-594 [doi]

Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting AbusePieter Agten, Wouter Joosen, Frank Piessens, Nick Nikiforakis. ndss 2015: [doi]

Secure Compilation to Protected Module ArchitecturesMarco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke, Frank Piessens. TOPLAS, 37(2):6, 2015. [doi]

Salus: Kernel Support for Secure Process CompartmentsRaoul Strackx, Pieter Agten, Niels Avonds, Frank Piessens. sesa, 3, 2015. [doi]

2013

Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least PrivilegeNiels Avonds, Raoul Strackx, Pieter Agten, Frank Piessens. securecomm 2013: 252-269 [doi]

Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing BaseJob Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, Frank Piessens. uss 2013: 479-494 [doi]

2012

Sign in or sign up to see more results.

runs on WebDSL