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