Securely executing malicious code = 악성코드의 안전한 실행에 대하여

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 21
  • Download : 0
This thesis presents a study of how to securely execute untrusted code. With web browsers being used to execute potentially malicious code for millions of users worldwide, its security is paramount. Designing and implementing new security techniques are inherently challenging, partly due to the complexity of modern browsers. Therefore a set of design principles for building interpreters are designed, using the language Haskell coupled with the building blocks of monad transformers. The implemented framework, named Bowser, serves as proof that interpreters can in fact be secure by design, and that extending it with new security mechanisms is easily achieved. This is demonstrated by adding dynamic taint analysis to the designed framework, with the goal of mitigating common attacks extracting sensitive information.
Advisors
Cha, Sang Kilresearcher차상길researcherKang, Brent Byung Hoonresearcher강병훈researcher
Description
한국과학기술원 :전산학부,
Publisher
한국과학기술원
Issue Date
2019
Identifier
325007
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학부, 2019.2,[iii, 69 p. :]

Keywords

Monad transformers▼ataint analysis▼ajavascript engine; 모나드 변환자▼a테인트 분석▼a자바스크립트 엔진

URI
http://hdl.handle.net/10203/267099
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=843575&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0