Inhalt des Dokuments
Summer Semester 2013
News
*29/04/2013: We created an ISIS course for this lecture. You can register for the course via: https://www.isis.tu-berlin.de/course/view.php?id=8621
*11/04/2013: On 12th April, 2013 there will be no lecture. The course lecture will start from 19th April at 10-12 AM in room TEL 1118/19.
*22/02/2013: On the following dates the lecture will be held in room Sputnik. Please register at the reception on 18th floor.
- 26.04.
- 24.05.
- 31.05.
- 07.06.
*22/02/2013: If you are interested in this course offer, please attend our introductory meeting on Monday, 8 April 2013, 10-12 a.m. in room TEL 1118/19.
*22/02/2013: The first lecture will be held on 12 April 2013.
Course Overview
| Content | The Foundations of Computer Security lecture aims to give a thorough introduction into the very diverse field of computer security from a theoretical point of view. The focus here is on such computer security aspects which can be precisely captured in a formal, logical, and mathematical way, and which allow moreover proofs of meaningful theorems in that field. Students of this course will learn how to think precisely about computer security against arbitrary attacks, a skill that will remain relevant and useful regardless of how technology and standards change. With just enough formalism to maintain precision and rigor without obscuring the development of ideas. We convey both the theories' conceptual beauty and its relevance to practice. |
| Event Type | Lecture |
| Lecturer | Prof. Jean-Pierre Seifert |
| Course ID | tbd |
| Teaching Period | Summer semester 2013 |
| Room | Auditorium 2, TEL 20th floor (see above for exceptions) |
| Time | Fridays, 10:00 - 12:00 am (weekly) |
| Credit | 3 ECTS / 2 SWS |
| Exam | oral examination |
| Target Audience | diplom/master students in the main study period; can also be taken as part of the bachelor program |
| Course Language | English |
| Contact Person | Prof. Jean-Pierre Seifert |
