CW678
Tom Decroos, Patrick De Causmaecker, Bart Demoen
Solving Eulclidean Steiner tree problems with multi swarm optimization
December 2014
abstract.html / report.pdf (449K) / email to: B. Demoen

CW677
Bart Bogaerts, Joost Vennekens, Marc Denecker
Grounded fixpoints
November 2014
abstract.html / report.pdf (375K) / email to: B. Bogaerts

CW676
Pieter Agten, Bart Jacobs and Frank Piessens
Sound modular verification of C code executing in an unverified context: extended version
November 2014
abstract.html / report.pdf (741K) / email to: P. Agten

CW675
Kim Wuyts, Riccardo Scandariato, Wouter Joosen
LIND(D)UN privacy threat tree catalog
September 2014
abstract.html / report.pdf (1.8M) / email to: K. Wuyts

CW674
Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef and Frank Piessens
Client side web session integrity as a non-interference property: Extended version with proofs
November 2014
abstract.html / report.pdf (710K) / email to: F. Piessens

CW673
Jan Van Haaren and Jesse Davis
Performance analysis of the 2014 FIFA World Cup group stage
September 2014
abstract.html / report.pdf (183K) / email toNovember J. Van Haaren

CW672
Raoul Strackx, Bart Jacobs, Frank Piessens
ICE: A Passive, high-speed, state-continuity scheme (extended version)
September 2014
abstract.html / report.pdf (541K) / email to: R. Strackx

CW671
Dries Vanoverberghe, Frank Piessens
Towards lightweight state coverage
August 2014
abstract.html / report.pdf ( 94K) / email to: F. Piessens

CW670
Dries Vanoverberghe, Frank Piessens
Proof techniques for precision and progress of computational symbolic execution
August 2014
abstract.html / report.pdf (366K) / email to: F. Piessens

CW669
Andreas Put, Italo Dacosta, Milica Milutinovic, Bart De Decker
An anonymous, verifiable Internet service POLL system
July 2014
abstract.html / report.pdf (1.6M) / email to: A. Put

CW668
Bart Demoen, Phuong-Lan Nguyen
More about latin tableaux and their embeddings
November 2014
abstract.html / report.pdf (480K) / email to: B. Demoen

CW667
Tim Lesage, Bart Demoen
Latin tableaux: solutions, embeddings, and redundant disequalities
September 2014
abstract.html / report.pdf (453K) / email to: B. Demoen

CW666
Ward Lanssens, Bart Demoen, Phuong-Lan Nguyen
The diagonal latin tableau and the redundancy of its disequalities
July 2014
abstract.html / report.pdf (443K) / email to: B. Demoen

CW665
Jan Van Haaren, Tim Op De Beéck en Jesse Davis
Prestatie-analyse van de clubs in de Belgische Pro League 2013-2014: de play-offs doorgelicht
May 2014
abstract.html / report.pdf (581K) / email to: J. Van Haaren

CW664
Daniele Alfarone and Jesse Davis
Unsupervised learning of an IS-A taxonomy from a limited domain-specific corpus
May 2014
abstract.html / report.pdf (851K) / email to: D. Alfarone

CW663
Willem Penninckx, Bart Jacobs, Frank Piessens
Modular, compositional and sound verification of the input/output behavior of programs
May 2014
abstract.html / report.pdf (327K) / email to: W. Penninckx

CW662
Jan Smans, Dries Vanoverberghe, Dominique Devriese, Bart Jacobs, and Frank Piessens
Shared boxes: rely-guarantee reasoning in VeriFast
May 2014
abstract.html / report.pdf (439K) / email to: B. Jacobs

CW661
Amin Timany, Bart Jacobs
A local shape analysis based on separation logic: Detailed presentation and soundness proof
May 2014
abstract.html / report.pdf (443K) / email to: A. Timany

CW660
Bart Jacobs
Verifying TSO programs
May 2014
abstract.html / report.pdf (447K) / email to: B. Jacobs

CW659
Milica Milutinovic, Italo Dacosta, Andreas Put, and Bart De Decker
An efficient and unlinkable incentives scheme
May 2014
abstract.html / report.pdf (583K) / email to: M. Milutinovic

CW658
Jan Van Haaren, Tim Op De Beéck en Jesse Davis
Prestatie-analyse van de clubs in de Belgische Pro League 2013-2014: de reguliere competitie doorgelicht
March 2014
abstract.html / report.pdf (358K) / email to: Jan Van Haaren

CW657
Steven Van Acker, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen
Monkey-in-the-browser: Malware and vulnerabilities in augmented browsing script markets -- extended version
February 2014
abstract.html / report.pdf (405K) / email to: S. Van Acker

CW656
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
C-Log: a knowledge representation language of causality
February 2014
abstract.html / report.pdf (397K) / email to: B. Bogaerts

CW655
Maarten Decat, Jasper Bogaerts, Bert Lagaisse, Wouter Joosen
The workforce management case study: functional analysis and access control requirements
February 2014
abstract.html / report.pdf (624K) / email to: M. Decat

CW654
Maarten Decat, Jasper Bogaerts, Bert Lagaisse, Wouter Joosen
The e-document case study: functional analysis and access control requirements
February 2014
abstract.html / report.pdf (645K) / email to: M. Decat