JKIISC

Digital Library

Search: "[ author: 박성현 ]" (4)

프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델

박성현, 김연수, 노봉남, Vol. 29, No. 5, pp. 1039-1048, 10월. 2019

10.13089/JKIISC.2019.29.5.1039
주제어: Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph, Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph

웹 어셈블리 모듈 안전성 검증을 위한 퍼징 방법

박성현, 강상용, 김연수, 노봉남, Vol. 29, No. 2, pp. 275-285, 3월. 2019

10.13089/JKIISC.2019.29.2.275
주제어: Web-assembly, Web-assembly Fuzzing, Vulnerability, Web-assembly, Web-assembly Fuzzing, Vulnerability

동적 기호 실행을 이용한 힙 메모리 OOB 취약점 자동 탐지 방법

강상용, 노봉남, 박성현, Vol. 28, No. 4, pp. 919-928, 7월. 2018

10.13089/JKIISC.2018.28.4.919
주제어: Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds, Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds

소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법

박성현, 강상용, 김휘성, 노봉남, Vol. 27, No. 4, pp. 811-820, 8월. 2017

10.13089/JKIISC.2017.27.4.811

출판 목록

Vol. 34, 2024
- Vol. 34, No. 2 (4월. 2024)
- Vol. 34, No. 1 (2월. 2024)
Vol. 33, 2023
- Vol. 33, No. 6 (12월. 2023)
- Vol. 33, No. 5 (10월. 2023)
- Vol. 33, No. 4 (8월. 2023)
- Vol. 33, No. 3 (6월. 2023)
- Vol. 33, No. 2 (4월. 2023)
- Vol. 33, No. 1 (2월. 2023)
Vol. 32, 2022
- Vol. 32, No. 6 (12월. 2022)
- Vol. 32, No. 5 (10월. 2022)
- Vol. 32, No. 4 (8월. 2022)
- Vol. 32, No. 3 (6월. 2022)
- Vol. 32, No. 2 (4월. 2022)
- Vol. 32, No. 1 (2월. 2022)
Vol. 31, 2021
- Vol. 31, No. 6 (12월. 2021)
- Vol. 31, No. 5 (10월. 2021)
- Vol. 31, No. 4 (8월. 2021)
- Vol. 31, No. 3 (6월. 2021)
- Vol. 31, No. 2 (4월. 2021)
- Vol. 31, No. 1 (2월. 2021)
Vol. 30, 2020
- Vol. 30, No. 6 (12월. 2020)
- Vol. 30, No. 5 (10월. 2020)
- Vol. 30, No. 4 (8월. 2020)
- Vol. 30, No. 3 (6월. 2020)
- Vol. 30, No. 2 (4월. 2020)
- Vol. 30, No. 1 (2월. 2020)
Vol. 29, 2019
- Vol. 29, No. 6 (12월. 2019)
- Vol. 29, No. 5 (10월. 2019)
- Vol. 29, No. 4 (8월. 2019)
- Vol. 29, No. 3 (5월. 2019)
- Vol. 29, No. 2 (3월. 2019)
- Vol. 29, No. 1 (1월. 2019)
Vol. 28, 2018
- Vol. 28, No. 6 (11월. 2018)
- Vol. 28, No. 5 (9월. 2018)
- Vol. 28, No. 4 (7월. 2018)
- Vol. 28, No. 3 (5월. 2018)
- Vol. 28, No. 2 (4월. 2018)
- Vol. 28, No. 1 (2월. 2018)
Vol. 27, 2017
- Vol. 27, No. 6 (12월. 2017)
- Vol. 27, No. 5 (10월. 2017)
- Vol. 27, No. 4 (8월. 2017)
- Vol. 27, No. 3 (6월. 2017)
- Vol. 27, No. 2 (4월. 2017)
- Vol. 27, No. 1 (2월. 2017)
Vol. 26, 2016
- Vol. 26, No. 6 (12월. 2016)
- Vol. 26, No. 5 (10월. 2016)
- Vol. 26, No. 4 (8월. 2016)
- Vol. 26, No. 3 (6월. 2016)
- Vol. 26, No. 2 (4월. 2016)
- Vol. 26, No. 1 (2월. 2016)
Vol. 25, 2015
- Vol. 25, No. 6 (12월. 2015)
- Vol. 25, No. 5 (10월. 2015)
- Vol. 25, No. 4 (8월. 2015)
- Vol. 25, No. 3 (6월. 2015)
- Vol. 25, No. 2 (4월. 2015)
- Vol. 25, No. 1 (2월. 2015)
Vol. 24, 2014
- Vol. 24, No. 6 (12월. 2014)
- Vol. 24, No. 5 (10월. 2014)
- Vol. 24, No. 4 (8월. 2014)
- Vol. 24, No. 3 (6월. 2014)
- Vol. 24, No. 2 (4월. 2014)
- Vol. 24, No. 1 (2월. 2014)
Vol. 23, 2013
- Vol. 23, No. 6 (12월. 2013)
- Vol. 23, No. 5 (10월. 2013)
- Vol. 23, No. 4 (8월. 2013)
- Vol. 23, No. 3 (6월. 2013)
- Vol. 23, No. 2 (4월. 2013)
- Vol. 23, No. 1 (2월. 2013)
Vol. 22, 2012
- Vol. 22, No. 6 (12월. 2012)
- Vol. 22, No. 5 (10월. 2012)
- Vol. 22, No. 4 (8월. 2012)
- Vol. 22, No. 3 (6월. 2012)
- Vol. 22, No. 2 (4월. 2012)
- Vol. 22, No. 1 (2월. 2012)
Vol. 21, 2011
- Vol. 21, No. 6 (12월. 2011)
- Vol. 21, No. 5 (10월. 2011)
- Vol. 21, No. 4 (8월. 2011)
- Vol. 21, No. 3 (6월. 2011)
- Vol. 21, No. 2 (4월. 2011)
- Vol. 21, No. 1 (2월. 2011)
Vol. 20, 2010
- Vol. 20, No. 6 (12월. 2010)
- Vol. 20, No. 5 (10월. 2010)
- Vol. 20, No. 4 (8월. 2010)
- Vol. 20, No. 3 (6월. 2010)
- Vol. 20, No. 2 (4월. 2010)
- Vol. 20, No. 1 (2월. 2010)
Vol. 19, 2009
- Vol. 19, No. 6 (12월. 2009)
- Vol. 19, No. 5 (10월. 2009)
- Vol. 19, No. 4 (8월. 2009)
- Vol. 19, No. 3 (6월. 2009)
- Vol. 19, No. 2 (4월. 2009)
- Vol. 19, No. 1 (2월. 2009)
Vol. 18, 2008
- Vol. 18, No. 6 (10월. 2008)
- Vol. 18, No. 5 (10월. 2008)
- Vol. 18, No. 4 (8월. 2008)
- Vol. 18, No. 3 (6월. 2008)
- Vol. 18, No. 2 (4월. 2008)
- Vol. 18, No. 1 (2월. 2008)
Vol. 17, 2007
- Vol. 17, No. 6 (12월. 2007)
- Vol. 17, No. 5 (10월. 2007)
- Vol. 17, No. 4 (8월. 2007)
- Vol. 17, No. 3 (6월. 2007)
- Vol. 17, No. 2 (4월. 2007)
- Vol. 17, No. 1 (2월. 2007)
Vol. 16, 2006
- Vol. 16, No. 6 (12월. 2006)
- Vol. 16, No. 5 (10월. 2006)
- Vol. 16, No. 4 (8월. 2006)
- Vol. 16, No. 3 (6월. 2006)
- Vol. 16, No. 2 (4월. 2006)
- Vol. 16, No. 1 (2월. 2006)
Vol. 15, 2005
- Vol. 15, No. 6 (12월. 2005)
- Vol. 15, No. 5 (10월. 2005)
- Vol. 15, No. 4 (8월. 2005)
- Vol. 15, No. 3 (6월. 2005)
- Vol. 15, No. 2 (4월. 2005)
- Vol. 15, No. 1 (2월. 2005)
Vol. 14, 2004
- Vol. 14, No. 6 (12월. 2004)
- Vol. 14, No. 5 (10월. 2004)
- Vol. 14, No. 4 (8월. 2004)
- Vol. 14, No. 3 (6월. 2004)
- Vol. 14, No. 2 (4월. 2004)
- Vol. 14, No. 1 (2월. 2004)
Vol. 13, 2003
- Vol. 13, No. 6 (12월. 2003)
- Vol. 13, No. 5 (10월. 2003)
- Vol. 13, No. 4 (8월. 2003)
- Vol. 13, No. 3 (6월. 2003)
- Vol. 13, No. 2 (4월. 2003)
- Vol. 13, No. 1 (2월. 2003)
Vol. 12, 2002
- Vol. 12, No. 6 (12월. 2002)
- Vol. 12, No. 5 (10월. 2002)
- Vol. 12, No. 4 (8월. 2002)
- Vol. 12, No. 3 (6월. 2002)
- Vol. 12, No. 2 (4월. 2002)
- Vol. 12, No. 1 (2월. 2002)
Vol. 11, 2001
- Vol. 11, No. 6 (12월. 2001)
- Vol. 11, No. 5 (10월. 2001)
- Vol. 11, No. 4 (8월. 2001)
- Vol. 11, No. 3 (6월. 2001)
- Vol. 11, No. 2 (4월. 2001)
- Vol. 11, No. 1 (2월. 2001)
Vol. 10, 2000
- Vol. 10, No. 4 (8월. 2000)
- Vol. 10, No. 3 (6월. 2000)
- Vol. 10, No. 2 (4월. 2000)
- Vol. 10, No. 1 (2월. 2000)
Vol. 9, 1999
- Vol. 9, No. 4 (8월. 1999)
- Vol. 9, No. 3 (6월. 1999)
- Vol. 9, No. 2 (4월. 1999)
- Vol. 9, No. 1 (2월. 1999)
Vol. 8, 1998
- Vol. 8, No. 4 (8월. 1998)
- Vol. 8, No. 3 (6월. 1998)
- Vol. 8, No. 2 (4월. 1998)
- Vol. 8, No. 1 (2월. 1998)
Vol. 7, 1997
- Vol. 7, No. 4 (8월. 1997)
- Vol. 7, No. 3 (6월. 1997)
- Vol. 7, No. 2 (4월. 1997)
- Vol. 7, No. 1 (2월. 1997)
Vol. 6, 1996
- Vol. 6, No. 4 (8월. 1996)
- Vol. 6, No. 3 (6월. 1996)
- Vol. 6, No. 1 (2월. 1996)
Vol. 5, 1995
- Vol. 5, No. 1 (2월. 1995)
Vol. 4, 1994
- Vol. 4, No. 2 (4월. 1994)
Vol. 2, 1992
- Vol. 2, No. 1 (2월. 1992)
Vol. 1, 1991
- Vol. 1, No. 1 (2월. 1991)