Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

Secure Code

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
BIK-BEK Z,ZK 5 14KP+4KC Czech
Lecturer:
Josef Kokeš (guarantor)
Tutor:
Josef Kokeš (guarantor)
Supervisor:
Department of Information Security
Synopsis:

The students will learn how to assess security risks and how to take them into account in the design phase of their own code and solutions. After getting familiar with the threat modeling theory, students gain practical experience with running programs with reduced privileges and methods of specifying these privileges, since not every program needs to run with administrator privileges. Dangers inherent in buffer overflows will be practically demonstrated. Students will be introduced to the principles of securing data and the relationships of security and database systems, web, remote procedure calls, and sockets in general. The module concludes with Denial of Service attacks and the defense against them.

Requirements:

Programming in C, knowledge of basic application interfaces and computer systems architectures, basic knowledge of SQL, basic knowledge of Javascript.

Syllabus of lectures:

1. Introduction to debuggers

2. Code generation, structure of an executable file

3. Buffer overflow

4. Writing secure code in C

5. Security layers, access levels

6. Running with the least privileges

7. Data security and integrity

8. Data input, canonical representation and security

9. Security of databases

10. Security of web applications

11. Security of sockets

12. Denial-of-service attacks

Syllabus of tutorials:

1. Introduction to debuggers

2. Code generation, analysis of an existing application

3. Buffer overflow

4. Buffer overflow II

5. Writing secure code in C

6. Data security and integrity

7. Running with the least privileges

8. SQL injection

9. Secure programming of databases

10. Security of web applications

11. Buffer overflow on the heap

12. Sessions

Study Objective:
Study materials:

[1] Howard, M. - LeBlanc, D.: Writing Secure Code, 2nd Edition, Microsoft Press, 2003, 9780735617223.

[2] Howard, M. - LeBlanc, D.: Writing Secure Code for Windows Vista, Microsoft Press, 2007, 9780735623934.

[3] Seacord, R. C.: Secure Coding in C and C++, 2nd Edition, Addison-Wesley Professional, 2013, 9780321822130.

Note:
Further information:
https://moodle.fit.cvut.cz/courses/BIK-BEK
Time-table for winter semester 2018/2019:
Time-table is not available yet
Time-table for summer semester 2018/2019:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-07-21
For updated information see http://bilakniha.cvut.cz/en/predmet3469406.html