stack-inspection

There are 0 repository under stack-inspection topic.

padowla / Language-Based-Technology-For-Security
Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).
control-flow-analysis faas iot lysa ocaml stack-inspection taint-analysis unipi unipisa
Language:OCaml

padowla / Language-Based-Technology-For-Security