Operating systems
[Closed]
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 application's 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 16 Feb 2024 to 29 Feb 2024
[Closed]
Centre
High-Assurance Software