
tamarin-prover
다중집합 재작성과 제약 해결을 사용하여 비밀성, 인증 및 동등성 속성을 증명하는 보안 프로토콜용 기호 검증 도구입니다.
게시된 사이버 보안 도구의 짧은 편집 업데이트입니다.

다중집합 재작성과 제약 해결을 사용하여 비밀성, 인증 및 동등성 속성을 증명하는 보안 프로토콜용 기호 검증 도구입니다.

웹, API, LLM 애플리케이션 보안을 위한 로컬 우선 AI 레드팀. 공격자 스타일 추론, 증거 기반 발견, AI 코딩 에이전트를 위한 스킬.

자율 AI 펜테스팅 에이전트 — 실시간 정찰, 취약점 탐지, 익스플로잇 오케스트레이션. Go + TypeScript.

PEASS - 권한 상승 멋진 스크립트 스위트 (색상 포함)

자체 호스팅 방식의 AI 에이전트용 런타임 제어 플레인입니다. 로컬 대시보드에서 비밀 키 유출, 프롬프트 인젝션, 공급망 공격 등이 실행되기 전에 악성 도구 호출을 관찰하거나, HITL(사람 개입) 승인 또는 차단할 수 있습니다. 에이전트에 구애받지…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

수동 DNS 서버로, DNS 요청을 확인하고 CNAME 체인을 추적하며 정찰 중 잠재적인 서브도메인 탈취를 플래그하여 노출된 클라우드 스토리지 버킷(AWS S3, GCP, Azure)을 탐지합니다.

암호화된 P2P 메시 VPN으로 원격 모바일 포렌식을 지원하며, 무선 ADB 및 libimobiledevice 수집, 네트워크 모니터링, NAT 및 방화벽을 통한 침입 탐지를 가능하게 합니다.

SBOM을 활용하여 지속적인 취약점 탐지 및 정책 시행을 통해 소프트웨어 공급망 위험을 식별하고 줄이는 지능형 구성 요소 분석 플랫폼.

Windows 호스트 DFIR 트리아지 콘솔로, 아티팩트 수집, Sigma 상관 타임라인, YARA 스캔, 소켓 및 계정 검사, 지표 강화, 그리고 보정된 위험 점수를 연쇄적으로 수행합니다.

도메인 OSINT 및 보안 정찰 프레임워크로, DNS, 포트, 서브도메인, 유출된 자격 증명, 노출된 엔드포인트, CVE, 기술 핑거프린팅을 위한 26개의 병렬 모듈을 실행합니다.

🔒 여러 잘 선별된 소스의 hosts 파일을 통합하고 확장합니다. 선택적으로 성인 콘텐츠, 소셜 미디어 및 기타 카테고리의 확장 기능을 선택할 수 있습니다.