Graduation Year
2018
Document Type
Thesis
Degree
M.S.C.S.
Degree Name
MS in Computer Science (M.S.C.S.)
Degree Granting Department
Computer Science and Engineering
Major Professor
Jay Ligatti, Ph.D.
Committee Member
Yao Liu, Ph.D.
Committee Member
Xinming (Simon) Ou, Ph.D.
Keywords
Computer Security, Proof-Carrying Code, Typing Theory, Static and Dynamic Languages, Compilers and Interpreters
Abstract
Dynamically Typed Assembly Language (D-TAL) is not only a lightweight and effective solution to the gap generated by the drop in security produced by the translation of high-level language instructions to low-level language instructions, but it considerably eases up the burden generated by the level of complexity required to implement typed assembly languages statically. Although there are tradeoffs between the static and dynamic approaches, focusing on a dynamic approach leads to simpler, easier to reason about, and more feasible ways to understand deployment of types over monomorphically-typed or untyped intermediate languages. On this occasion, DISM, a simple but powerful and mature untyped assembly language, is extended by the addition of type annotations (on memory and registers) to produce an instance of D-TAL. Strong-DISM, the resulting language, statically, lends itself to simpler analysis about type access and security as the correlation between datatypes and instructions with their respective memory and registers becomes simpler to observe; while dynamically, it disallows operations and further eliminates conditions that from high level languages could be used to violate/circumvent security.
Scholar Commons Citation
Hernandez, Ivory, "Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)" (2017). USF Tampa Graduate Theses and Dissertations.
https://digitalcommons.usf.edu/etd/7033
