Formal Methods for Finding and Fixing Information Leaks Swen Jacobs

News

17.11.2021

Template for final report

A template for the final report is now available under Materials->Presentations and Final Report. I suggest you use it to already keep summaries of the papers you read.

In the final report, for every paper there should be a short summary of about half a page in... Read more

A template for the final report is now available under Materials->Presentations and Final Report. I suggest you use it to already keep summaries of the papers you read.

In the final report, for every paper there should be a short summary of about half a page in the given format.

10.11.2021

Registration in LSF/HISPOS, Slides of Kickoff

Dear students,

registration for the seminar in LSF/HISPOS is now possible, and will be open until December 10 (this is the deadline for both registering and unregistering).

Also, the slides of the kickoff meeting are now available under Materials -> Background Material

08.11.2021

Detailed instructions for certain papers

Forgot to mention this before:

for reading group paper R2, in the Materials section there is a comment "Sections 7,8,9 will not be discussed in detail.", i.e., you can ignore these sections when reading and summarizing the paper, and similarly for R4.

Similar... Read more

Forgot to mention this before:

for reading group paper R2, in the Materials section there is a comment "Sections 7,8,9 will not be discussed in detail.", i.e., you can ignore these sections when reading and summarizing the paper, and similarly for R4.

Similar instructions will be added for some of the presentation papers, if they are significantly more complex than others.

08.11.2021

Regular meeting time, next meeting

As discussed in our first meeting, the regular meeting time will be moved to

*Thursdays, 18:00*

We will have
- meetings on Nov 18 and Nov 25 for the reading group papers,
- no meetings in December (to give you time to prepare your presentations), and
-... Read more

As discussed in our first meeting, the regular meeting time will be moved to

*Thursdays, 18:00*

We will have
- meetings on Nov 18 and Nov 25 for the reading group papers,
- no meetings in December (to give you time to prepare your presentations), and
- weekly meetings starting on Jan 6, 2022 with two paper presentations each.

In the next meeting, we will have informal presentations of
R1 by Hadar Muchtar, and
R2 by Paul Eichler and Trupti Koushik.

25.10.2021

Time for first meeting, Zoom link for meetings

Dear students,

based on the results of our poll, our first meeting will be on

Monday, November 8, at 14:00. 

If this timeslot does not also work for you as a regular meeting slot during the semester, please let me know soon.

Below is the zoom link that... Read more

Dear students,

based on the results of our poll, our first meeting will be on

Monday, November 8, at 14:00. 

If this timeslot does not also work for you as a regular meeting slot during the semester, please let me know soon.

Below is the zoom link that will be used for all of our meetings this semester.

==========

Swen Jacobs is inviting you to a scheduled Zoom meeting.

Topic: Seminar: Formal Methods for Finding and Fixing Information Leaks
Time: This is a recurring meeting Meet anytime

Join Zoom Meeting
https://cispa-de.zoom.us/j/95651131029?pwd=KzlsZzBkRk45SXdpSmV5V29lRkxBUT09

Meeting ID: 956 5113 1029
Passcode: 9$?%Dz
One tap mobile
+496971049922,,95651131029# Germany
+496950502596,,95651131029# Germany

Dial by your location
        +49 69 7104 9922 Germany
        +49 695 050 2596 Germany
Meeting ID: 956 5113 1029
Find your local number: https://cispa-de.zoom.us/u/abGWisk9FB


Privacy Notice:
Please refer to https://cispa.de/en/data-privacy-policy-zoom for our privacy notice regarding the use of Zoom at CISPA

24.10.2021

Wrong data shown in CMS

Dear students,

due to a misconfiguration, the CMS showed that the time for submitting the slides and final report had passed (and that you had failed to submit them). This is of course not true, and has been fixed.

22.10.2021

Welcome, and poll for our first meeting timeslot

Dear students,

welcome again to our seminar :-)

We (i.e., myself and Joachim Bard, who will support me as an assistant) are excited to have you with us for our seminar, on a topic that has become very important in recent years, both in research and in... Read more

Dear students,

welcome again to our seminar :-)

We (i.e., myself and Joachim Bard, who will support me as an assistant) are excited to have you with us for our seminar, on a topic that has become very important in recent years, both in research and in practice.

As our first order of business, we need to find a timeslot for our first meeting. Like the whole seminar, it will be held online via Zoom.

Please answer the following poll as soon as possible, latest until Sunday evening: https://terminplaner4.dfn.de/y2Vp5U4EDJXVp3Ik

Looking forward to seeing you next week!

 

Show all
 

Seminar Topic

Information leaks are a security topic that makes it to the news regularly, with side-channel attacks like Spectre showing how vulnerable much of our information infrastructure is. Systems that store and manipulate sensitive data should be secured against information leaks, but attackers keep finding more sophisticated attacks on systems that have been deemed secure thus far, exploiting side-channels and low-level behavior of the system hardware. Due to the abundance of possible leaks, it is almost impossible for a human designer to prevent them, and automatic formal methods can play a crucial role in finding and fixing such leaks.

In this seminar, students will learn to present, discuss, and summarize papers that aim at formalizing, analyzing and automatically fixing information leaks. The seminar is split into two parts. The first part will take the form of reading sessions, where we lay the foundations of the topic. For the second part, each student is assigned a recent paper from the research area. Students will present their paper and will write a seminar paper on the topic assigned to them, taking into account connections to the topics discussed in the seminar.

Important Dates

First Meeting: tba.

During our first meeting, I will present a short overview of the content and format of the seminar.

Requirements

Reading Group: In the reading group sessions, we discuss background papers that lay the foundations, or give an overview of the recent work on information leaks, and formal methods to find and fix them. Each paper will be presented informally by selected students, followed by a joint discussion. The list of papers for the reading group will be announced soon.

Talks: At the first reading group session, each participant will be assigned a topic. Each topic will be presented by the respective student, followed by joint discussion. For the discussions, it is important that every participant has read the paper(s) that are presented. The list of presentation topics will be announced soon.

Summary: At the end of the seminar we would like you to submit a summary of the seminar topics, including a comparison of your topic to the ones presented by other students.



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