Weekly or biweekly student presentations of research papers and homeworks within the chosen subject.
FDD3512 Seminar course in Formal Methods and Cyber Security, stage 2 3.0 credits
The course is stage 2 in a sequence of courses that together provide research competence in a selection of specialized subjects that are required for research that applies formal methods to cyber security.
Information per course offering
Course offerings are missing for current or upcoming semesters.
Course syllabus as PDF
Please note: all information from the Course syllabus is available on this page in an accessible format.
Course syllabus FDD3512 (Autumn 2021–)Headings with content from the Course syllabus FDD3512 (Autumn 2021–) are denoted with an asterisk ( )
Content and learning outcomes
Course disposition
Course contents
Each stage of the seminar course gives an introduction to the research state of the art within a subject necessary to apply formal methods to problems within the domain of cyber security. Examples of such subjects are 1) formal modelling av computer systems and components, 2) advanced techniques for low level program analysis, 3) formalization and proof of security properties, 4) term rewriting, 5) logics for security modelling and analysis.
Intended learning outcomes
After passing the course, the student should be able to review techniques, methods, and tools within the particular subject area covered by the course offering, in order to be able to use these techniques, methods, and tools in their own research.
Literature and preparations
Specific prerequisites
Completed Seminar course in formal methods and cyber security, stage 1.
Recommended prerequisites
Seminar course in formal methods and cyber security, stage 1
Literature
You can find information about course literature either in the course memo for the course offering or in the course room in Canvas.
Examination and completion
If the course is discontinued, students may request to be examined during the following two academic years.
Grading scale
P, F
Examination
- EXA1 - Examination, 3.0 credits, grading scale: P, F
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
Beside the presentation itself the course has the following examination elements: Activity at the seminars, hand in of a set of questions as preparation of the week’s seminar, and homeworks.
Other requirements for final grade
Presentation at one seminar and for other seminars 1) active participation and preparation of discussion points, and 2) four homeworks.
Examiner
Ethical approach
- All members of a group are responsible for the group's work.
- In any assessment, every student shall honestly disclose any help received and sources used.
- In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.
Further information
Course room in Canvas
Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.
Offered by
Main field of study
This course does not belong to any Main field of study.
Education cycle
Third cycle