| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Group Talk 1 - Basics of Information-Flow Control |
Group Talks |
Seminar Rom 106 in E1.1 |
|
23.05.23 |
23.05.23 |
No |
|
|
Group Talk 2 - Formal Methods 101 |
Group Talks |
Seminar Rom 106 in E1.1 |
|
30.05.23 |
30.05.23 |
No |
|
|
Kickoff Meeting |
Kickoff |
Seminar Rom 106 in E1.1 |
|
18.04.23 |
18.04.23 |
No |
|
|
Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows |
Individual Talks |
|
|
20.06.23 |
20.06.23 |
No |
|
|
Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security |
Individual Talks |
|
|
20.06.23 |
20.06.23 |
No |
|
