지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구
한국정보과학회 학술발표논문집
2017 .06
기계학습 기반 기호실행
정보과학회지
2020 .04
프로그램 옵션을 통해 기호실행 성능 향상
한국정보과학회 학술발표논문집
2024 .12
프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델
정보보호학회논문지
2019 .10
기호 실행의 성능 극대화를 위한 좋은 시드 선택 기법
한국정보과학회 학술발표논문집
2024 .06
입력 조건에 따라 도달하지 않는 영역을 기호 실행을 활용한 분석
한국정보과학회 학술발표논문집
2018 .06
기호 실행의 다양한 해결책 자동생성 기술
정보과학회지
2021 .05
이기종 단일 코어에서의 연산기 Gating을 활용한 에너지 효율 향상 연구
대한전자공학회 학술대회
2016 .06
Trusted Execution Environment의 구성 요소 및 응용 기술 조사
한국통신학회 학술대회논문집
2017 .11
기호 실행 기반 응용프로그램 추론 기법을 이용한 프로토콜 역공학 방법 제안
한국정보과학회 학술발표논문집
2018 .06
[조흡의 영화이야기] 〈벌새〉: 상징적 폭력에 맞선 여성적 글쓰기
대한토목학회지
2020 .01
소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법
정보보호학회논문지
2017 .08
A Study on Accuracy Estimation of Service Model by Cross-validation and Pattern Matching
International journal of advanced smart convergence
2017 .01
다중 로봇 경로 수행 방법론에 대한 연구
한국통신학회 학술대회논문집
2025 .02
동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법
정보보호학회논문지
2017 .08
로봇을 이용한 객체 찾기를 위한 뉴로-심볼릭 기반 Visual Question Answering
제어로봇시스템학회 국내학술대회 논문집
2022 .06
한국형발사체개발사업 예산 집행 관리 방안 연구
시스템엔지니어링학술지
2017 .01
Exploiting Interference-aware GPU Container Concurrency Learning from Resource Usage of Application Execution
한국통신학회 APNOMS
2020 .09
이미지의 Symbolic Representation 기반 적대적 예제 탐지 방법
정보보호학회논문지
2022 .10
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
0