All students are expected to be present in all classes of their own campus.

29 November (Alameda)
A - "Virtualization and Trusted Computing"
Virtualization I - Group 20
Virtualization II - Group 12
Trusted Computing I - Group 29
Trusted Computing II - Group 16

5 December (Alameda)
B - "Java security environment"
Java Security Overview - Group 25
Stack Inspection - Group 6
Bytecode verification - Group 15
Java Card - Group 13

6 December (Alameda)
B - "Java security environment"
Java Security Overview - Group 31
Stack Inspection - Group 3
Bytecode verification - ---
Java Card - Group 7

12 December (Alameda)
C - "Secure programming in Java"
Language design - Group 21
Secure coding in Java - Group 23
Jif - Group 19
Verifying Java programs - Group 28

13 December (Alameda)
C - "Secure programming in Java"
Language design - Group 24
Secure coding in Java - Group 10
Jif - Group 18
Verifying Java programs - Group 11



9 December (Tagus)
A - "Virtualization and Trusted Computing"
Virtualization I - Group 4
Virtualization II - Group 5  
Trusted Computing I - Group 2
Trusted Computing II - Group 14

15 December (Tagus)
B - "Java security environment"
Java Security Overview - Group 9
Stack Inspection - Group 1
Bytecode verification - Group 32
Java Card - Group 8

16 December (Tagus)
C - "Secure programming in Java"
Language design - Group 27
Secure coding in Java - Group 30
Jif - Group 17
Verifying Java programs - Group 22