Secure Compilation Marco Patrignani & Michael Backes

News



14.06.2018

Schedule change

Dear students,

the schedule has been adapted and the calendar has been filled.

04.06.2018

Presentation 2 postponed

Dear students,

as the presenter for paper 2 is sick, the presentation of paper 2 will happen together with that of paper 3.

Thus, today we'll only have the presentation for paper 1.

24.05.2018

Presentations are postponed

Dear students,

the schedule has been updated.

The presentations for next week have been postponed by 1 week, next week there's only lecture on monday when we'll finish the trace-based backtranslation properly. This extra lecture eats up lecture 10, which is... Read more

Dear students,

the schedule has been updated.

The presentations for next week have been postponed by 1 week, next week there's only lecture on monday when we'll finish the trace-based backtranslation properly. This extra lecture eats up lecture 10, which is cancelled. 

Presentations 6 and 7 are also merged in 1 slot (given their affinity in topic).

26.04.2018

Lecture 5 is cancelled

No lecture is rescheduled for that slot.

24.04.2018

Paper assignment

The paper assignment goes as follows:

Julian            Paper 2  paper 5 

Nils            Paper 3  paper 4

Hizbullah        Paper 8  paper 7

Oloutoyin        Paper 1  paper 6

 

Reports are due only for papers 1, 2, 3, 8 for the day that paper is... Read more

The paper assignment goes as follows:

Julian            Paper 2  paper 5 

Nils            Paper 3  paper 4

Hizbullah        Paper 8  paper 7

Oloutoyin        Paper 1  paper 6

 

Reports are due only for papers 1, 2, 3, 8 for the day that paper is presented.

 

 



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators