View Proposal

Proposer
Manuel Maarek
Title
Static Security Analyser for OCaml
Goal
Description
Typed functional programming languages offer great benefits in term of code safety and security. However some implementation details should be taken care of. This project involves implementing a verifier of programming rules for the OCaml language.
Resources
Background
Url
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
1
Supervisor
Manuel Maarek
Keywords
Degrees
Bachelor of Science in Computer Science
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 Network Security
Master of Science in Software Engineering
Bachelor of Engineering in Robotics
Bachelor of Science in Computer Science (Cyber Security)
Back to List