anonymous?

3. Generation of DeepFakes 딥페이크 생성에는 생성 방법론과 데이터셋의 두 가지를 중점으로 살펴본다. 특히, 얼굴 생김새와 관련한 딥페이크 생성 방법론에는 전체 얼굴 합성, 속성 조작, 특징 바꾸기, 그리고 표정 바꾸기의 4가지가 있다. 데이터셋은 생성 방법론에서 사용할 주요 실제 이미지/영상 데이터셋과 생성 방법론에서 생성된 가짜 이미지/영상 데이터셋을 다룬다. 3.1 Overview of Deep Image Generation and Manipulation 딥페이크 생성 방법론에는 스타일 이동, 이미지 인페이팅, 고해상도, 렌더링, 통합, 비식별화 등 다양하지만, 논문에서는 얼굴 생김새와 관련한 딥페이크 방법론을 다룬다. 3.2 Entire Face Synthesis 1) 정의 1..

ANALYSIS/Paper Review 2023. 4. 9. 10:30

ABSTRACT 하이브리드 퍼징은 퍼징과 콘콜릭 실행을 결합한 기술이다. 본 연구에서는 하이브리드 퍼징에 (1) 느린 심볼릭 실행 속도, (2) 불필요한 제약 조건 해결에 많은 시간 사용, (3) 필요 이상의 자원 할당, (4) 트리거 하기 어려운 버그 탐지 불가와 같은 문제점이 있음을 조사했다. 이러한 기존의 하이브리드 퍼징의 단점을 개선하기 위해 Intriguer라는 최신 하이브리드 퍼저를 개발했다. Intriguer는 필드 레벨에서 제약조건을 해결하는 퍼저로 버그 제보 및 23개의 CVE 발급 등으로 좋은 성과를 보였다. INTRODUCTION (Intriguer 주요 내용) Intriguer의 주요 아이디어는 필드 레벨 지식을 통해 심볼릭 실행을 최적화한 필드 레벨 제약 조건 해결이다. Intri..

ANALYSIS/Paper Review 2023. 4. 8. 20:27

Background latent code (잠재 벡터)차원이 줄어든채로 데이터를 잘 설명할 수 있는 잠재 공간에서의 벡터 latent code == latent vector == latent space loss 학습된 모델에 실제 데이터를 입력으로 주었을 때 모델의 추정 오차로 발생하는 손실. 실제 정답과 학습된 모델이 예측한 값 사이 차이(거리, 오차) 손실이 클수록 loss 함수 파라미터에 대한 evaluation(cost) 모델이 예측한 값과 실제 정답 사이 차이 비교하는 함수 loss GAN (Generative Adversarial Network)Generator(진짜 같은 이미지 생성하려는 생성 모델)와 Discriminator의 경쟁을 통해 학습(적대적 학습)하여 Generator에서 실제 ..

ANALYSIS/Paper Review 2023. 3. 28. 09:16

ABSTRACT 커널은 시스템 권한을 갖기 때문에 좋은 공격 대상이고, 공격자보다 커널 버그를 먼저 찾아야 하는데 이때 퍼징이 보편적으로 사용된다. 대부분의 시스템 콜 퍼저는 퍼징에서 중요한 지표인 커버리지 성능 측면에서 평가되지 않았다. 따라서 본 연구에서는 Intel PT와 KCOV를 사용하여 커널 퍼저의 시스템 콜 관련 함수를 통해 코드 커버리지 성능을 평가하는 평가 시스템을 제안한다. BACKGROUND 1) 시스템 콜 시스템 콜은 사용자 레벨 프로그램에서 커널에 더 높은 권한의 서비스를 요청할 때 사용된다. 2) 코드 커버리지 측정 커버리지 퍼징을 이용한 코드 커버리지 측정 방법 중 중요한 것은 적은 성능 오버헤드이다. 코드 커버리지 측정에 오버헤드가 크다면 제한된 시간에 적은 코드 블록이 실행..

ANALYSIS/Paper Review 2023. 2. 22. 10:55

ABSTRACT 커널은 시스템 권한을 갖기 때문에 좋은 공격 대상이고, 이러한 위협은 공격자보다 커널 버그를 먼저 찾아야 하는데 이때 퍼징이 보편적으로 사용된다. 대부분의 시스템 콜 퍼저는 퍼징에서 중요한 지표인 커버리지 성능 측면에서 평가되지 않았다. 따라서 본 연구에서는 가상화와 인텔 프로세서 추적(Intel Processor Trace, PT)을 결합한 방식을 사용하는 시스템 콜 퍼저의 코드 커버리지 성능을 평가하는 방법론을 제안한다. 방법론 1. 시스템 콜에 의해 실행될 수 있는 커널 내 모든 함수를 추출한다. (함수 리스트 생성) 2. 시스템 콜 퍼저로 퍼징을 수행하고 Intel PT를 활용하여 커버리지 정보를 기록한다. 3. 시스템 콜 퍼저를 평가 -> 퍼징 수행 동안 Intel PT에 의해 ..

ANALYSIS/Paper Review 2023. 2. 22. 10:49

Introduction 1. MCU 펌웨어 동적 분석 위한 기존 연구 방향들 1) harware-in-the-loop 실제 하드웨어를 사용해서 지원하지 않는 주변장치를 지원하게 하는 방법으로, 큰 스케일의 동적 분석에 부적절하다. 2) abstraction-base approach HALucinator는 HAL(Hardware Abstraction Layer) API를 펌웨어에 매칭시켜서 교체하는 방식을 사용한다.표준화가 필요하고 custom SoC에는 적용 불가능하다. 3) full-system emulation 실제 하드웨어 없이 펌웨어 전체를 에뮬레이트하는 방법으로, high fidelity를 가진다. P2IM는 주변장치에 적절한 응답을 찾기 위해 전문가 기반 휴리스틱 방법과 알지 못하는 주변장치의..

ANALYSIS/Paper Review 2022. 8. 25. 15:16

Paper https://www.usenix.org/system/files/woot20-paper-fioraldi.pdf Abstract state-of-the-art fuzzing 연구를 포함한 오픈소스 도구인 AFL++ 제안함 Introduction fuzzing에서의 어려움 fuzzing 기술들은 독립적으로 개발되어서 결합해서 사용하는 과정이 오래걸리고 fuzzing 기능 결합이 어려움 개발한 도구 평가가 어려움 앞선 fuzzing에서의 어려움 해결 위해 확장 가능한 API 제안 새로운 newline이 될 AFL++ 제안 연구자들은 이미 AFL++에 구현된 state-of-the-art 특징들을 통해 그들이 제안한 특징들을 비교하여 평가할 수 있음 연구에 사용하기 쉬운 특징들 제공 coverage-..

ANALYSIS/Paper Review 2022. 6. 27. 23:14

PAPER https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7546500 ABSTRACT 이 논문에서는 여러 분석 기술들을 구현한 바이너리 분석 프레임워크를 제안한다. 제안한 바이너리 분석 프레임워크가 효율적인 바이너리 취약점 분석 기술임을 평가하기 위해 DARPA에서 생성한 데이터셋을 통해 평가한다. 이 프레임워크는 오픈소스이다. 1. INTRODUCTION 바이너리 분석의 중요성 interpreted 언어도 바이너리 프로그램에 의해 인터프리트 되었거나, JIT(Just-In-Time)으로 바이너리 코드로 컴파일 되었다. OS나 성능이 중요한 애플리케이션은 여전히 바이너리 코드로 컴파일 되는 언어(C, C++ 등)로 작성된다. IoT는 자원이 제약된..

ANALYSIS/Paper Review 2022. 5. 15. 09:00

# Abstract **firmware analysis** 임베디드 기기의 증가로, firmware 분석이 중요해졌다. 하지만 하드웨어와 펌웨어 사이 의존성으로 인해 firmware 동적 분석에 어려움이 있다. **abstraction** 개발자들은 Hadrware Abstraction Layers(HALs)과 같은 abstraction을 사용하여 코드 개발을 하는데, 이 연구에서는 이 abstraction을 펌웨어 리호스팅과 분석의 기반으로 사용했다. HAL 함수의 대체물을 제공하여 펌웨어의 하드웨어 의존성을 제거했다. 먼저 펌웨어에 라이브러리 함수를 위치시키고, full-system emulator에 이 함수들의 구현을 제공하는 방식으로 이루어진다. **HALucinator** 펌웨어 리호스팅이 가능..

ANALYSIS/Paper Review 2022. 5. 12. 14:52

PAPER https://engineering.purdue.edu/dcsl/publications/papers/2020/firmware-analysis_csur_2020.pdf ABSTRACT 펌웨어 리호스팅 과정에서의 어려움을 정리하고,이러한 어려움을 해결하는 과정과 사용된 툴을 조사했다. emulator 종류, 시스템 타입, 충실도, emulator 목적, 제어의 5가지 측면으로 분류 기술을 설명한다. 이 분류와 비교 기준은 emulation에 대한 적절한 툴을 사용할 수 있도록 한다. 분류를 필드에서의 유명한 작업을 분류하는데 사용하고, 펌웨어를 가져오는 것부터 emulation 분석을 할 때의 생성, 에뮬레이팅, 분석 시 직면한 28개의 문제를 제시한다. 1. INTRODUCTION Embedde..

ANALYSIS/Paper Review 2022. 5. 4. 23:39

PAPER https://intellisec.de/pubs/2016-ccs.pdf ABSTRACT 논문 연구 내용 1. 어떻게 32bit platform에서 문제 없는 코드가 64bit platform에서 취약해지는지 연구 2. platform 사이에서 변하는 data model의 영향을 시스템적으로 분석 연구 결과, 64bit 플랫폼으로 이식 시 integer 타입의 큰 width와 사용 가능한 메모리의 증가로 32bit 플랫폼 코드에는 없었던 취약점이 발생함을 발견했다. 이러한 케이스를 Debian stable ("Jessie") 소스 코드와 Github 오픈소스 프로젝트를 대상으로 평가한다. 또한 연구 과정 발견한 Chromium, Boost C++ Library, Libarchive, Linux ..

ANALYSIS/Paper Review 2022. 3. 26. 16:58