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
04.11.2020 10:00
Endtime
04.11.2020 12:00
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.