Information flow and declassification analysis for legacy and untrusted programs

B. Pontes Soares Rocha

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

573 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Information flow and declassification analysis for legacy and untrusted programs'. Together they form a unique fingerprint.

Computer Science