View Proposal

---

Proposer

Adam Sampson

Title

X or Wayland server in a safe language

Goal

Write a graphics server using a safe programming language such as Rust or OCaml

Description

The X graphics system is widely used on Unix-like systems; its successor, Wayland, is starting to come into wide usage. Both of these have existing good-quality implementations that are written in C, and thus suffer from the usual security problems of unsafe languages. Implement a new X or Wayland server using a modern, safe programming language such as Rust, Go, Nim, Haskell or OCaml (I'm not interested in doing this with Java or C#). Alternatively, take one of the existing implementations and find a way of making it safe - for example by adding annotations to the C code to allow better safety analysis.

Resources

Background

Url

Difficulty Level

High

Ethical Approval

None

Number Of Students

1

Supervisor

Adam Sampson

Keywords

graphics, linux, unix, x, wayland, security

Degrees

Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Master of Engineering in Software Engineering
Master of Science in Computer Science for Cyber Security
Master of Science in Computing (2 Years)
Master of Science in Information Technology (Software Systems)
Master of Science in Network Security
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Bachelor of Engineering in Robotics
Bachelor of Science in Computer Science (Cyber Security)