- Sound Modular Reasoning about Security Properties of Imperative Programs(2015)
Authors: Pieter Agten, Frank Piessens, Bart Jacobs
Number of pages: 198
- Secure compilation to protected module architectures(2015)
Authors: Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Pages: 6
- Seven months' worth of mistakes: A longitudinal study of typosquatting abuse(2015)
Authors: Pieter Agten, Wouter Joosen, Frank Piessens, Nick Nikiforakis
Number of pages: 13
- Salus: Kernel support for secure process compartments(2015)
Authors: Raoul Strackx, Pieter Agten, Niels Avonds, Frank Piessens
Pages: e1 - e1
- Sound modular verification of C code executing in an unverified context(2015)
Authors: Pieter Agten, Bart Jacobs, Frank Piessens
Pages: 581 - 594
- Salus: Non-hierarchical memory access rights to enforce the principle of least privilege(2013)
Authors: Raoul Strackx, Pieter Agten, Frank Piessens
Pages: 252 - 269
- Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base(2013)
Authors: Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, Frank Piessens
Pages: 479 - 494
- JSand: Complete client-side sandboxing of third-party JavaScript without browser modifications(2012)
Authors: Pieter Agten, Steven Van Acker, Yoran Brondsema, Lieven Desmet, Frank Piessens
Pages: 1 - 10
- Secure compilation to modern processors(2012)
Authors: Pieter Agten, Raoul Strackx, Bart Jacobs, Frank Piessens
Pages: 171 - 185
- FAMoS: A flexible active monitoring service for wireless sensor networks(2012)
Authors: Jef Maerien, Pieter Agten, Christophe Huygens, Wouter Joosen, Karl Michae Göschka, Seif Haridi
Pages: 104 - 117
