Welcome to Language-based Security

Description: With the growing dependence on and use of IT in society, security continues to be a primary concern for both developers and users. In this course students will become acquainted with a number of foundational research issues in language-based security, including both state-of-the-art as well as more fundamental theories and concepts. The main focus of the course will be on secure information flow (and ways to achieve/guarantee secure information flow, e.g., through model checking, program analysis, and type  ystems), but may also cover topics such as declassification- and/or erasure-policies as well as other related topics.

Learning outcomes:

 Upon completion of this course the student will:

  • know and be able to correctly apply the relevant general terminology used within the security community
  • know the fundamental theories and structures within the topics covered in the course
  • be able to define and apply basic language-based tools and techniques to simple projects/programs
  • be able to find relevant and further study advanced literature within the language-based security field and apply it to their own research

Format: The specific format for the course session will be agreed upon with the students at the first session. Each course session will most likely last approximately half a day (4-5 hours) and, generally, be composed of a mix of lectures and discussions as well as additional course work, e.g., exercises, literature search, and/or student presentations.

In between course sessions, the students are expected to actively follow and research IT-security related news and be prepared to discuss current events within that community.

In order to pass the course, the student must participate actively in the discussions and make a short report + presentation on a topic chosen in collaboration with the course organiser(s).

Organizer: Associate Professor Rene Rydhof Hansen, e-mail: rrh@cs.aau.dk

Lecturers: Associate Professor Rydhof Hansen, Associate Professor Aslan Askarov, and possibly further guest lecturers


Time: Spring 2018

Place: Aalborg University

Zip code: 9220

City: Aalborg Øst

Number of seats: 12

Deadline: 31 Januar 2018

Important information concerning PhD courses We have over some time experienced problems with no-show for both project and general courses. It has now reached a point where we are forced to take action. Therefore, the Doctoral School has decided to introduce a no-show fee of DKK 5,000 for each course where the student does not show up. Cancellations are accepted no later than 2 weeks before start of the course. Registered illness is of course an acceptable reason for not showing up on those days. Furthermore, all courses open for registration approximately three months before start. This can hopefully also provide new students a chance to register for courses during the year. We look forward to your registrations.