Home > Publications > Reports > Informatics (CW) > 2012


CW622
Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen
A security analysis of emergin web standards - Extended version
(HTML5 and friends, from specification to implementation)
May 2012
abstract.html / report.pdf (223K) / email to: Ph. De Ryck

CW621
Bruno Galerne, Ares Lagae, Sylvain Lefebvre and George Drettakis
Gabor noise by example - Suplemental material
April 2012
abstract.html / report.pdf (313K) / email to: A. Lagae

CW620
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
Secure multi-execution through static program transformation: extended version
April 2012
abstract.html / report.pdf (511K) / email to: F. Piessens

CW619
Pieter Agten, Raoul Strackx, Bart Jacobs and Frank Piessens
Secure compilation to modern processors: extended version
April 2012
abstract.html / report.pdf (703K) / email to: P. Agten

CW618
Milica Milutinovic, Vincent Naessens, Bart De Decker
Privacy-preserving scheduling mechanism for eHealth systems
March 2012
abstract.html / report.pdf (350K) / email to: B. De Decker

CW617
Ilya Sergey and Dave Clarke
A correspondence between type checking via reduction and type checking via evaluation. Accompanying code overview
January 2012
abstract.html / report.pdf (228K) / email to: I. Sergey

CW614
Frédéric Vogels, Bart Jacobs, and Frank Piessens
Featherweight VeriFast: Extended version
January 2012
abstract.html / report.pdf (598K) / email to: F. Vogels