#1Security papers, research projects, technical references, and reproducible material for defensive or authorized analysis.
Kitploit 추천

Agent Scan, Skills Scan, MCP 스캔, AI 인프라 스캔 및 LLM 탈옥(jailbreak) 평가를 통해 AI 생태계를 보호하는 풀스택 AI 레드팀 플랫폼
자동 정리 증명, 제약 조건 해결 및 프로그램 검증을 위한 고성능 SMT 해결사. 형식적 분석을 위한 여러 이론 및 언어 바인딩을 지원합니다.

공식 CVE 목록의 CVE JSON 5 형식 캐시

nextpnr 휴대용 FPGA 배치 및 배선 도구

B2R2는 F#으로 작성된 완전 관리형 바이너리 분석 프레임워크입니다. 리버스 엔지니어링, 프로그램 분석, 바이너리 수준 검사를 위한 풍부한 알고리즘, 함수, 도구 세트를 제공합니다.

YC (S26) | Open Computer History | 로컬에서 화면을 지속적으로 녹화하고 에이전트(Claude, Codex, Openclaw, Hermes, Runner...)에 컨텍스트를 제공합니다

Crypto bounties, puzzles and challenges data library

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

이 프로젝트는 Google이 수행한 연구와 관련된 보안 권고 및 그에 수반되는 개념 증명(Proof-of-Concept)을 호스팅하며, 이는 Google 소유가 아닌 코드에 영향을 미칩니다.

A community-curated, verified collection of Proof-of-Concept exploits for CVEs disclosed in 2026.

"Hard Stop: Rogue Agentic Execution을 위한 커널 수준 선점 및 격리"의 참조 구현. 대역 외 Epistemic Andon Cord, 서브밀리초(<0.154 ms) POSIX 프로세스 그룹 선점, 그리고 torn-read 저항성 WAL 상태…

다학제적 코퍼스 분석을 통해 AI 에이전트 행동 패턴을 분석하는 연구 도구 키트입니다. 세션 로그를 파싱하고 23가지 분석 기법을 실행하며 LLM 기반 내러티브 보고서를 생성합니다.

위협 행위자가 사용하는 전술, 기법 및 절차에 대한 정보를 공유하기 위해 생성된 저장소입니다. 초기에는 랜섬웨어 그룹을 대상으로 하였으며, 이후 다른 유형의 위협으로 확장되고 있습니다.

커뮤니티에서 가장 포괄적이고 지속적으로 업데이트되는 대규모 언어 모델(LLM) 기반 소프트웨어 취약점 탐지 연구 인덱스 — 함수 수준, 저장소 수준, 에이전트 기반, 스마트 계약 탐지에 이르는 논문과 데이터셋, 벤치마크, 설문 조사를 포함합니다.

디스어셈블리, 디컴파일, 테인트 분석, 버전 비교 및 시맨틱 검색을 갖춘 리버스 엔지니어링 프레임워크이며, LLM 기반 자율 바이너리 및 펌웨어 분석 기능을 제공합니다.

주요 AI 챗봇(Claude, ChatGPT, Gemini, Grok, Copilot)의 추출된 시스템 프롬프트를 엄선하여 모아둔 컬렉션입니다. 새로운 모델 출시와 함께 정기적으로 업데이트됩니다.

독일 OWASP Day 컨퍼런스 사이트 및 발표 자료 아카이브

PISmith: 프롬프트 주입 방어를 위한 강화 학습 기반 레드 팀