|
version date
|
status
|
comments
|
|
February 11, 2007
|
public defense version
|
Succesfully defended publicly on Wednesday February 21, 2007 at 17h00 in auditorium BARB91, Place Ste-Barbe,
UCL, Louvain-La-Neuve, Belgium.
Jury :
- Prof. Yves Deville (chair) UCL/INGI
- Prof. Jean-Jaques Quisquater UCL/DICE
- Dr. Mark Miller HP Labs California
- Prof. Frank Piessens (KUL/DistriNet)
- Prof. Peter Van Roy (advisor) UCL/INFO
|
|
December 3, 2006
|
private defense version
|
Successfully defended version at private defense on Friday December
15th, 2006
Jury :
- Prof. Yves Deville (chair) UCL/INGI
- Prof. Jean-Jaques Quisquater UCL/DICE
- Dr. Mark Miller HP Labs California
- Prof. Frank Piessens (KUL/DistriNet)
- Prof. Peter Van Roy (advisor) UCL/INFO
Most important suggestion:
- Provide extra example to show applicability of SCOLL
approach to non-capability problems: model stack introspection
in SCOLL.
|
|
November 26, 2006
|
readable draft
|
-
Abstract and acknowledgments: to be done.
-
Chapter 11 on future and related work: to be written.
-
Conclusion (chapter 12) to be written.
-
Other chapters in need of review:
-
Chapter 4, first section on DVH capabilities: rework to improve readability.
-
Chapters 5 until 8: need some final checking for readability.
-
Extra spelling check and intensive reading of all text.
|