Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Embedded DSL을 이용한 해킹불가 프로그램 생성 기술

  • Published : 2018.03.15
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 김유경, 신승철, 안준선, 이욱세, 이은영, 한환수, 소프트웨어 보안취약점 데이터베이스 구축사례, 한국정보과학회지 28권 2호, pp.20-31, 2010
  2. 신승철, 이욱세, 노상훈, 김제민, 코드마인드: 온더플라이 소스코드 정적분석 도구, 제18회 한국 소프트웨어공학 학술대회 논문집, 2016
  3. 신승철, 그래프 데이터베이스 기반 정적분석 기술, 한국정보과학회지 35권 2호, pp.9-13, 2017
  4. Joonseon Ahn, Seungcheol Shin, Hyung Joon Lim, Young sub Lee, Usefulness of On-the-Fly and Visualization Features in Static Vulnerability Analysis, Journal of Engineering and Applied Sciences 12(26), pp.7723-7730, 2017
  5. 신승철, 이욱세, 노상훈, 김제민, 바이너리 실행파일 취약점 검출을 위한 그래프 DB 기반 정적분석 시스템, 국방 소프트웨어 연구회 추계워크샵, 2017
  6. D.Grossman, M.Hicks, T.Jim, and G.Morrisett, Cyclone: A type-safe dialect of C, C/C++ Users Journal, 23(1), pp.112-139, 2005
  7. N.D.Matsakis, and F.S.Klock II, The Rust Language. ACM SIGAda Ada Letters 34(3), pp.103-104, 2014 https://doi.org/10.1145/2692956.2663188
  8. J.Svenningsson, and E. Axelsson. Combining deep and shallow embedding for EDSL, International Symposium on Trends in Functional Programming, pp. 21-36, 2012.
  9. T. Sheard and S. Peyton Jones, "Template Metaprogramming for Haskell, ACM SIGPLAN Haskell Workshop, pp.1-16, 2002
  10. T.Elliott, L.Pike, S.Winwood, P.Hickey, J.Bielman, J.Sharp, E.Seidel, and J.Launchbury. Guilt free ivory, ACM SIGPLAN Notices, vol. 50, no. 12, pp. 189-200, 2015 https://doi.org/10.1145/2887747.2804318
  11. K.Czarnecki, J.O'Donnell, J.Striegnitz, and W.Taha, DSL Implementation in MetaOCaml, Template Haskell, and C++, Domain-Specific Program Generation, LNCS3016, pp.51-72, 2004
  12. L.Pike, N.Wegmann, S..Niller, and A.Goodloe. Copilot: Monitoring Embedded Systems Final Report, 2011
  13. E.Axelsson, K.Claessen, G.Devai, Z.Horvath, K.Keijzer, B.Lyckegard, A.Persson, M.Sheeran, J.Svenningsson, and A.Vajdax. Feldspar: A domain specific language for digital signal processing algorithms, Formal Methods and Models for Codesign (MEMOCODE), pp.169-178, 2010
  14. Patrick C Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury, Building embedded systems with embedded DSLs, ACM SIGPLAN Notices 49(9), pp.3-9, 2014 https://doi.org/10.1145/2692915.2628146
  15. Rockwell Collins, Secure Mathematically-Assured Composition of Control Models, Final Technical Report, AIR FORCE RESEARCH LABORATORY INFORMATION DIRECTORATE, 2017