Trustworthy system development through high-level synthesis
MetadataShow full item record
Major processor manufacturers have embraced the high-level synthesis (HLS) design philosophy. HLS offers the potential to explore the design space of electronic circuits and systems more efficiently than traditional methods. In this thesis, we investigate the ap-plication of HLS to hardware-oriented security and trust by developing a model of a simple 16-bit Central Processing Unit in the SystemC modeling language. We enhanced our processor with a simple security mechanism that enforces a memory integrity policy. The integrity policy allows a region of the program labeled as trustworthy to modify any address in data memory, but another region of the program labeled as untrustworthy is restricted to only being able to modify a specific region of data memory. Our timing results show that adding the integrity policy enforcement mechanism has a negligible effect on overall system performance.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Kilic, Sedat (Monterey, California: Naval Postgraduate School, 2016-12);East Asia is an important region for global stability. Major economies—China, Japan, and South Korea—are located in the region. The phenomenon of a rising China, the response of the United States to a rising China, and the ...
Kittrie, Orde F. (Arizona State University, 2017-03);A “Track II” Middle East Chemical Weapons Task Force (Task Force) comprised of policy and technical experts from ten countries in the Middle East convened in 2016-17 to discuss chemical weapons acquisition and use in the ...
Al Kaabi, Yousef H.; Al Kaabi, Khaled M. (Monterey, California. Naval Postgraduate School, 2011-12);The Arabian Gulf represents a significant part in the world because of its oil wealth. During the last thirty years, three wars have taken place in the region resulting in regional and global instability: the Iran-Iraq ...