Operating systems
Work description
Study of the eBPF technology, with particular focus on the CO-RE (Compile Once – Run Everywhere) approach, for the instrumentation of Linux kernel structures to obtain information on applications’ accesses to files and sockets. Design of an automatic and comprehensive platform for analyzing disk and network access patterns. Analysis should focus on the correctness and security of data-centric applications. The tasks described in this working plan demand the application and development of concepts and techniques in the areas of Computer Science and Informatics Engineering which are usually introduced in curricular units included in the curricula of BSc courses in Computer Science and Informatics Engineering.
Academic Qualifications
BSC in Computer Science or Informatics Engineering Student.
Minimum profile required
- Knowledge on operating systems.- Knowledge on the C programming language.- Experience on using the POSIX interface and with system calls.- Experience on using the eBPF technology.
Preference factors
- Experience with tracing tools (e.g., strace).
Application Period
Since 22 Aug 2024 to 04 Sep 2024
Centre
High-Assurance Software