Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
Summary Submission Deadline 2 |
Summary |
|
|
22.09.23 |
N/A |
Yes |
|
Paper 3 - Information Flow Control Based on Program Dependence Graphs |
Individual Talks |
|
|
27.06.23 |
27.06.23 |
No |
|
Paper 5 - Hyperproperties of Real-Valued Signals |
Individual Talks |
|
|
20.06.23 |
20.06.23 |
No |
|
Summary Submission Deadline 1 |
Summary |
|
|
08.09.23 |
N/A |
Yes |
|
Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security |
Individual Talks |
|
|
20.06.23 |
20.06.23 |
No |
|
Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows |
Individual Talks |
|
|
20.06.23 |
20.06.23 |
No |
|
Paper 9 - The Hierarchy of Hyperlogics |
Individual Talks |
|
|
04.07.23 |
04.07.23 |
No |
|
Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL* |
Individual Talks |
|
|
04.07.23 |
04.07.23 |
No |
|
Paper 7 - Epistemic Temporal Logic for Information Flow Security |
Individual Talks |
|
|
27.06.23 |
27.06.23 |
No |
|
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 |
|