fcarli3 / language_based_technology

Assignments of Language-based Technology for Security course (Master's Degree in Cybersecurity, University of Pisa)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Language-based Technology for Security

This repository contains lab assignments of Language-based Technology for Security (Master's Degree in Cybersecurity at University of Pisa).

About

Assignments of Language-based Technology for Security course (Master's Degree in Cybersecurity, University of Pisa)


Languages

Language:OCaml 100.0%