Show simple item record

Practical static analysis framework for inference of security-related program properties

dc.rights.licenseUsers may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.
dc.contributorMilanova, Ana
dc.contributorFink, Stephen
dc.contributorKrishnamoorthy, M. S.
dc.contributorMusser, David R.
dc.contributorVarela, Carlos A.
dc.contributor.authorLiu, Yin
dc.date.accessioned2021-11-03T09:43:30Z
dc.date.available2021-11-03T09:43:30Z
dc.date.created2010-03-09T11:13:36Z
dc.date.issued2010-05
dc.identifier.urihttps://hdl.handle.net/20.500.13015/2914
dc.descriptionMay 2010
dc.descriptionSchool of Science
dc.language.isoENG
dc.publisherRensselaer Polytechnic Institute, Troy, NY
dc.relation.ispartofRensselaer Theses and Dissertations Online Collection
dc.subjectComputer science
dc.titlePractical static analysis framework for inference of security-related program properties
dc.typeElectronic thesis
dc.typeThesis
dc.digitool.pid21783
dc.digitool.pid21784
dc.digitool.pid21786
dc.digitool.pid21785
dc.digitool.pid21787
dc.rights.holderThis electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
dc.description.degreePhD
dc.relation.departmentDept. of Computer Science


Files in this item

Thumbnail
Name:
21784_rpithes.pdf
Size:
982.7Kb
Format:
PDF
View/Open
Thumbnail
Name:
21785_abstitle-phd.pdf
Size:
26.90Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record