npm 악성코드 99% 및 서드파티 침해 30% 증가에 대응하는 공급망 보안 설계
5 Software Supply Chain Security Best Practices for Development Teams
Hypervisor의 정체성 변화: 단순 Resource Abstraction에서 Policy Enforcement Point로의 전이
The Hypervisor Is Becoming a Policy Enforcement Point
Benchmark와 Receipt 분리를 통한 Compute 검증 신뢰성 확보
Proof of Compute: The Receipt Is Not the Benchmark
AI Agent 신뢰 계층 확보를 위한 Post-Quantum Cryptographic SDK 개발
I Built a Post-Quantum Cryptographic Identity SDK for AI Agents — Here's Why It Needs to Exist
33개 체인 지원 조건부 무료 액세스를 위한 MPP Gating 레이어 설계
Condition-Based Access for Machine Payments Protocol: A Signed Yes-or-No Before the Charge
Provenance 기반 검증으로 빌드 무결성을 수학적으로 증명하는 SLSA 프레임워크
SLSA Deep Dive: Securing the Supply Chain Using Verifiable Levels
CipherPay와 ZAP1 결합을 통한 x402 기반 익명 결제 증명 구조 설계
ZAP1 + x402: privacy-preserving proof of paid access, anchored to Zcash
AI 생성 코드의 Compliance 입증을 위한 Evidence Map 기반 자동화 증적 시스템
How to Prove Compliance in AI-Generated Code
신뢰 점수 대신 증거를 전송하라, Multi-Agent 네트워크 설계 전략
The Kidney Problem
PyPI 패키지 신뢰성 검증, trustcheck CLI로 자동화
I built a CLI to verify PyPI package attestations before installing packages
Starknet 스테이킹 프로토콜의 Attestation.cairo에서 get_block_hash_syscall 검증 로직 우회로 담보금 없이 STRK 보상 탈취 가능
Bypassing Attestation Logic in Cairo: A Starknet Security Case Study