회사소개
“안전하다”는 판단에는
근거가 있어야 합니다.
프루브랩스는 보안을 주장이 아닌 증명의 문제로 봅니다. 소프트웨어의 취약점은 수학적으로 검증하고, 암호 구현은 국가 검증 기준에 맞춰 개발하며, 조직과 사람의 보안 역량은 현장 경험으로 함께 높입니다.
공기업 보안 실무 10년 이상의 경험과 정형 검증 연구 역량을 함께 갖춘 팀이 제품부터 사람까지 근거 있는 보안을 만듭니다.
- 상호
- 프루브랩스 · ProveLabs
- 대표
- 최우현
- 사업분야
- 코드 보안 분석 · 암호모듈 개발 · 보안 컨설팅 · 보안 교육
- 주요 제품
- Prove — 정형 검증 기반 Python 코드 보안 분석 (provelabs.kr)
- 소재지
- 광주과학기술원 B동 320호
전남광주통합특별시 북구 첨단과기로 123 - 사업자등록번호
- 827-10-03003
사업분야
하나의 원칙, 네 가지 사업
증명 가능한 보안이라는 원칙을 소프트웨어, 암호 구현, 조직, 사람에 똑같이 적용합니다.
대표 제품 · Prove
스캔이 아니라,
증명입니다.
개발자가 코드를 올리면 “이 코드가 안전한가”에 대한 수학적 증명이 나옵니다. 기존 패턴매칭 도구가 놓치는 취약점을 찾고, 안전 판정마다 제3자가 재검증할 수 있는 인증서를 발급합니다.
- 정형 검증 엔진 — 실행 경로를 수학적으로 검증, 함수 단위 평균 2.92초
- 기계검증 인증서 — 독립 검증기 기준 미증명·가정 0건
- 98개 CWE — SQL·커맨드 인젝션, 역직렬화, SSRF, XSS, 암호 오용 등
- 실전 실적 — 글로벌 오픈소스 0-day 12건 발견·신고 (allenai CWE-79, OpenMMLab CWE-502 외)
오탐률 비교 False Positive · 낮을수록 좋음
CVE 기반 222개 파일, 동일 조건 측정
- 코드 분석
- 수학적 증명
- 공격 시뮬레이션
- 판정
- 인증서 발급
※ 취약점 발견·신고 대상 프로젝트이며, 후원·제휴 관계를 의미하지 않습니다.
암호모듈 개발
암호모듈 개발부터 KCMVP 검증 대응까지
MCU 기반 임베디드 제품에 들어갈 소프트웨어 암호모듈을 설계·구현하고, KCMVP 시험·검증에 필요한 문서와 시험기관 기술 대응을 한 번에 제공합니다.
검증 대상 알고리즘
운영 환경
STM32 계열 MCU, FreeRTOS Native API · CMSIS-RTOS2 환경 포팅·빌드·시험. 고객사 지정 MCU·RTOS 조합에 맞춰 범위를 정합니다.
납품 산출물
- 운영환경별 암호모듈 및 개발 소스코드
- 빌드·설치·연동 자료와 API 기술문서
- 개발·기능시험 결과와 KCMVP 제출문서 일체
- 시험기관 보완자료와 기술 대응 자료
- 01
범위·환경 확정
대상 보드, 빌드 환경, API, 검수 기준 확정
- 02
설계·개발
모듈 구조·API 설계, 알고리즘 구현, RTOS 연동
- 03
개발 시험
CAVP 시험벡터, 기능·연동 시험, 엔트로피 분석
- 04
KCMVP 제출문서
모듈 설명서, 설계문서, 운영환경·시험절차 문서
- 05
시험·검증 대응
시험기관 질의 답변, 소스 수정, 재시험
보안 컨설팅
현장에서 검증된 경험으로 함께 진단합니다
소스코드 보안 진단
Prove 엔진과 전문가 검토를 결합해 취약점을 찾고, 수정 방향과 재검증까지 지원합니다.
OT · ICS 보안
발전·에너지 등 제어시스템(SCADA) 환경의 위험을 진단하고 망 분리·접근통제 개선안을 제시합니다.
보안 인증 대응
CC 인증, KCMVP 등 보안 인증 준비 과정의 요구사항 분석과 제출문서 작성을 돕습니다.
침해 대응 체계
랜섬웨어 대응 경험을 바탕으로 탐지·대응 절차를 점검하고 훈련 시나리오를 함께 만듭니다.
디지털 포렌식
침해사고가 발생하면 PC·서버·로그 등 디지털 증거를 수집·분석해 사고 원인과 피해 범위를 규명하고, 재발 방지 대책과 분석 보고서를 제공합니다.
보안 교육
도구가 아니라, 사람이 안전해지도록
연구와 실무에서 얻은 내용을 기관·기업 맞춤형 실습 중심 과정으로 제공합니다.
신뢰와 조직
검증된 기술, 검증된 팀
논문 “PROVE — Evidence-carrying static analysis for Python”
Computers & Security (Elsevier) 심사 중
정부 예비창업패키지
최종 라운드 진출
글로벌 오픈소스 0-day 취약점
12건 발견 · 신고 완료
AI 박사 · 공기업 보안 10년+ · ICS/SCADA 보안 · WannaCry 대응 실무
에너지 AI 박사과정 · Locked Shields 보안 국가대표 · CC 인증 · 공기업·대기업 경력
문화학 박사과정 · 국책과제 기획 10년+ · 사업화·운영 총괄
보안 파트너가 필요하신가요?
Prove 도입 · 암호모듈 개발 · 보안 컨설팅 · 교육 문의를 환영합니다.