Timetable
- Event Category
- IFC
- Title
- IFC Lecture 1
- Location
- https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05JQkFpdz09
- Details
- Basic background on Programming Language Theory and introduction to static fine-grained IFC.
Basic definitions (Lattice). Security IFC type system, L-equivalence, and non-interference. - Starttime
- 11.11.2020 10:00
- Endtime
- 11.11.2020 12:00
- the whole day
- No