Content-Based Information Flow Verification for C |
Tomasz Maciazek
|
| Abstract | |
| Type | Master's thesis [Academic thesis] |
| Year | 2015 |
| Publisher | Technical University of Denmark, Department of Applied Mathematics and Computer Science |
| Address | Richard Petersens Plads, Building 324, DK-2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk |
| Series | DTU Compute M.Sc.-2015 |
| Note | DTU supervisor: Hanne Riis Nielson, hrni@dtu.dk, DTU Compute |
| Electronic version(s) | [pdf] |
| Publication link | http://www.compute.dtu.dk/English.aspx |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |