new on these pages
Tue Feb 26 06:45:04 CET 2008
Sat Sep 30 10:41:50 CEST 2006
- Publications updated: PhD Thesis in submitted final
version. Position paper presented at FAST 2006 in post
proceedings version. Updated version of IJIS paper.
- I've officially gone to the real world hence leaving the ideal world (I'm trying to stay in
touch though ;-) ). It is exciting but I have much to
learn...
Sun Jun 4 11:23:26 CEST 2006
- Publications updated: WITS'06 paper, Journal version
of CSS paper, Distributed Trust Management -- Denotational and
Operational Semantics. PhD Thesis draft added.
- Design changed slightly.
Fri Nov 11 23:10:38 CET 2005
- Publications updated. Tech report on operational
semantics for trust policies online.
- Presentations updated. Temporal Paper accepted for
CCS'05, slides from conference online.
Sun Mar 27 15:52:06 CEST 2005
- Publications updated. Temporal logic paper submitted,
and fixed-point paper got accepted for ICDCS'05.
Thu Dec 9 14:27:18 CET 2004
- Minor textual corrections, fixed-point paper for
ICDCS'05 added, and presentation
"A Formal Framework for Concrete Reputation-Systems"
added. Alot of pictures are now in the gallery.
Sat Aug 21 14:28:03 CEST 2004
- General update of pages. Error fixes and information
about my Marie Curie visit to Sussex University
with Vladi.
Wed Jun 9 16:54:21 CEST 2004
- A personal section has been added. It contains a neat gallery, courtesy of my friend Simon.
Sat May 22 17:58:50 CEST 2004
- Handed in my progress report yesterday. It has been
added under 'online papers' page for those
interested.
Mon May 3 11:27:55 CEST 2004
- 'Publications' page updated. Added 'pop-up'-window
containing abstracts and a list of keywords for all
publications.
- The publications page is no longer autogenerated by xslt.
Fri Dec 12 22:55:17 CET 2003
- All pages updated. 'Last update' bug fixed, and all
pages are constructed in a uniform way (see readme).
- Just for fun, the 'publications' page is generated
from a 'bibteXML' file by an xslt-transformation.
Sat Nov 15 16:41:42 CET 2003
- Various pages updated and created. Research and
students menu items added.
-
Update in layout structure.
Fri Nov 7 09:42:29 CET 2003:
- New pages created. You can still see the
old pages.