프로젝트

완료된 프로젝트

27

1

스마트컨트랙트 간 다중 트랜잭션 취약점 탐지를 위한 퍼징기술 연구

과학기술정보통신부(2017Y)

2024년 03월 - 2025년 02월

2

ARM 아키텍처에 특화된 바이너리 수정 기법과 로우-레벨 난독화 기술 연구

과학기술정보통신부(2017Y)

2021년 03월 - 2022년 02월

3

Rivision History 기반 SW 안전성 검증기술 연구

과학기술정보통신부(2017Y)

2020년 05월 - 2020년 11월

4

[BK21플러스 8차년도] 웰니스 휴먼케어를 위한 앰비언트 인텔리전스 소프트웨어 플랫폼

교육부(2013Y)

2020년 03월 - 2020년 08월

5

XNU 커널 안전성 검증 연구

과학기술정보통신부(2017Y)

2019년 04월 - 2019년 10월

6

[BK21플러스 7차년도] 웰니스 휴먼케어를 위한 앰비언트 인텔리전스 소프트웨어 플랫폼

교육부(2013Y)

2019년 03월 - 2020년 02월

7

VANET 환경에서 사용자 중심의 상황인지를 통한 보안과 프라이버시의 정량화

과학기술정보통신부(2017Y)

2018년 07월 - 2019년 06월

8

AArch64 아키텍처에서의 실행파일 난독화 기법 연구

과학기술정보통신부(2017Y)

2018년 04월 - 2018년 10월

9

데이터 플레인 가속화 기술을 통한 IPsec 병렬 처리 기법 연구

과학기술정보통신부(2017Y)

2018년 04월 - 2018년 10월

10

[BK21플러스 6차년도] 웰니스 휴먼케어를 위한 앰비언트 인텔리전스 소프트웨어 플랫폼

교육부(2013Y)

2018년 03월 - 2019년 02월