CW629
Thomas Heyman, Riccardo Scandariato, Wouter Joosen
Smarmy -- A language to verify the security of software architectures
December 2012
abstract.html / report.pdf (462K) / email to: T. Heyman

CW628
Bart Demoen and Tom Schrijvers
A 10' implementation of callcc in the WAM
November 2012
abstract.html / report.pdf (154K) / email to: B. Demoen

CW627
Robbie Vincke, Sille Van Landschoot, Piet Cordemans, Joan Peuteman, Eric Steegmans, Jeroen Boydens
Calculating Fast Fourier Transform by using parallel software design patterns
October 2012
abstract.html / report.pdf (1.0M) / email to: J. Boydens

CW626
Robrecht Haesevoets, Danny Weyns
Evaluation of Macodo: A controlled experiment
September 2012
abstract.html / report.pdf ( 20M) / email to: R. Haesevoets

CW625
Elvira Albert
Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
August 2012
abstract.html / report.pdf (6.9M) / email to: D. De Schreye, E. Albert

CW624
Jon Sneyers and Thom Fruehwirth
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
September 2012
abstract.html / report.pdf (8.7M) / email to: J. Sneyers

CW623
Dimiter Milushev and Dave Clarke
Coinductive unwinding of security-relevant hyperproperties: extended version
August 2012
abstract.html / report.pdf (692K) / email to: D. Milushev

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