- user
- @dblp
- Securing functional pr...
Publication title
Securing functional programs with floating-label information-flow control.
P. Buiras. Chalmers University of Technology, Gothenburg, Sweden, (2016)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:233668).Links and resources
- BibTeX key
- phd/basesearch/Buiras16
- entry type
- phdthesis
- year
- 2016
- school
- Chalmers University of Technology, Gothenburg, Sweden
- ee
- https://www.base-search.net/Record/5613b10d78ed13268df1980faf9be3f7931805c2d5b82145d7640cdfda2485b3
- note
- base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:233668)
Tags
Cite this publication
More citation styles
- please select -%0 Thesis
%1 phd/basesearch/Buiras16
%A Buiras, Pablo
%D 2016
%K dblp
%T Securing functional programs with floating-label information-flow control.
@phdthesis{phd/basesearch/Buiras16,
added-at = {2017-05-15T00:00:00.000+0200},
author = {Buiras, Pablo},
biburl = {https://www.bibsonomy.org/bibtex/29fda3d39771ea5745672821e1a3bdfa3/dblp},
ee = {https://www.base-search.net/Record/5613b10d78ed13268df1980faf9be3f7931805c2d5b82145d7640cdfda2485b3},
interhash = {17a8dbd24189db22e2a63d8c2bb3d693},
intrahash = {9fda3d39771ea5745672821e1a3bdfa3},
keywords = {dblp},
note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:233668)},
school = {Chalmers University of Technology, Gothenburg, Sweden},
timestamp = {2017-05-16T11:37:19.000+0200},
title = {Securing functional programs with floating-label information-flow control.},
year = 2016
}
search on
Meta data
- Last update 7 years ago
- Created 7 years ago
Comments and Reviews
There is no review or comment yet. You can write one!