Formal Tainting-Based Framework

Read full text
Authors: Andrei Mogage, Dorel Lucanu
Cited by: 1

Abstract

First release of the Formal Tainting-Based Framework (FTBF).

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 March 2026