
Sandroid_Dexray-Intercept
암호화, 파일 시스템, 데이터베이스, 네트워크 통신 및 프로세스 작업 전반에 걸쳐 애플리케이션 동작에 후킹하여 포괄적인 런타임 프로필을 생성하는 Android 멀웨어 분석 도구입니다.

암호화, 파일 시스템, 데이터베이스, 네트워크 통신 및 프로세스 작업 전반에 걸쳐 애플리케이션 동작에 후킹하여 포괄적인 런타임 프로필을 생성하는 Android 멀웨어 분석 도구입니다.

o1js/Mina zkApps 및 Noir 회로의 zk 회로 건전성 버그를 위한 종속성 없는 정적 분석기

오픈소스 TPM device-attest-01 CA 서버

Signal Protocol과 Signal을 가능하게 하는 기타 암호화 프리미티브의 본거지입니다.

JKS 관에 박는 못 - JKS 파일의 개인 키 항목 비밀번호 크래킹

비트코인과 라이트코인용 wallet.dat 파일에서 암호화폐 개인 키와 주소를 추출하여 지갑 복구 및 포렌식 분석을 가능하게 합니다.

:snake: JSON Web Tokens를 테스트, 조정 및 크래킹하기 위한 툴킷

WhatsApp .crypt12, .crypt14 및 .crypt15 파일을 관리합니다.

비트맵 이미지(.bmp 및 .png), WAV 사운드 파일 및 바이트 시퀀스를 위한 최하위 비트 스테가노그래피. 비트맵 이미지를 위한 간단한 LSB 스테가날리시스(LSB 추출).

C로 작성된 작고 휴대 가능한 임베디드 SSHv2 클라이언트 및 서버 라이브러리로, 임베디드 및 IoT 시스템을 위한 SCP, SFTP, 포트 포워딩, 포스트 양자 키 교환을 지원합니다.

자연어 또는 C/C++ 프로토콜 설명을 검토 가능한 Protocol IR로 변환한 다음, 형식 보안 검증을 위한 Sapic+/Tamarin 모델을 생성하는 Human-in-the-loop UI입니다.

Zip 파일 형식 퍼저 및 멀티툴.

스마트 컨트랙트, 암호학, AI 보안 주제를 다루는 블록체인 보안 연구, 감사 보고서, 가이드 및 번역의 선별된 지식 베이스.

간단하고 현대적이며 안전한 암호화 도구(및 Go 라이브러리)로, 작고 명시적인 키를 사용하고 구성 옵션이 없으며 UNIX 스타일의 조합성을 제공합니다.

Python 프레임워크로, 공개 데이터셋에서 부채널 분석 공격(예: CPA)을 수행하도록 설계되었으며, 암호화 하드웨어 보안 교육 및 실습을 위한 도구입니다.

Self-hosted evidence gateway for AI systems: fail-closed policy, WAF, egress controls, signed durable MMR proofs, and offline verification across LLM…

데이터, 특히 암호를 암호화하는 데 사용되는 다양한 해시 유형을 식별하는 소프트웨어