Seminar WS2425

Seminar WS2425

News

13.12.24 Schedule has been adjusted

Remaining Presentation Schedule

13.01.2025

Talks

  • Jamal Suleiman, A Hardware Design Language for Timing-Sensitive Information-Flow Security
  • Gianluca Letizia, Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
17.01.2025

Hand-In Preliminary Seminar Papers

Hand in your seminar paper to your supervisor via email and recieve one that you have to review.

20.01.2025

Talks

  • Sebastian Brunke, Datalog with Negation and Monotonicity
  • Alex Alfano, Queries with guarded Negation
  • Finn Senft, Containment of queries for graphs with data
24.01.2025

Hand-In Reviews

Hand in your reviewed seminar paper via email and recieve the reviews for your seminar paper.

31.01.2025

Hand-In Final Seminar Paper

Hand in your finalised version of the seminar paper via email.

Organization

During the winter term of 2024/2025, the Institute of Theoretical Computer Science offers a seminar on Theoretical Computer Science.

  • Weekly Talks are on Mondays, 17:00, in IZ 358. Starting from 04.11.24.
  • The kickoff meeting will take place on the 21.10. at 12:00 in room IZ 358.
  • To fully register for the seminar, you have to sign a document until 28.10.24. You can do so during the kickoff meeting or at our secretariat. In the latter case, please make an appointment with our secretary Andrea Soleinsky (a.soleinsky@tu-bs.de).
  • We give topics to at most 10 students.
  • This is a joint seminar for Bachelor's and Master's students of computer science.

Topics

This semester's topic is the formal side-channel security of program implementations. You can already take a look at the papers intended for a seminar before the kickoff meeting.

  • Overview paper on Side-Channels Paper
  • Overview on speculative Side-Channel Attacks (Spectre) Paper
  • Formal Semantics for speculative execution Paper
  • Static Taint System to avoid Spectre Attacks Paper
  • Symbolic Execution to find Spectre attacks Paper
  • Formal analysis of compiler-mitigations against Spectre Paper
  • Formal proofs to preserve side-channel security under compilation Paper
  • A formal hardware description language to express side-channel security Paper
  • Verifying Hardware description against formal side-channel semantics Paper

Requirements

You will have to

  • prepare and give a talk of 30 minutes (including questions) during the lecture period.
  • write a seminar paper in English or German, of maximal 10 pages using the acmart LaTeX style using the "acmsmall" version.
  • hand in a preliminary version of your paper, that will be peer reviewed by another student. Consequently, you will recieve a paper from another student that you will have to review.

Supervision

Each seminar topic is assigned a member of the Institute for Theoretical Computer Science as advisor. In case you have questions, you can contact them. There will be regular meetings with your advisor, in particular before you hand in the paper and before you give the presentation.