#software-security

#software-security와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.

Amazon은 Verus를 활용해 Rust 코드의 수학적 정확성을 증명하며, 기존 Rust의 안전성을 넘어선 보증을 제공한다.

·1·2026.09.01 00시

OpenClaw 유지보수진이 AI 에이전트 시대의 코드 리뷰와 보안 대응 전략을 공유했다.

·1·2026.08.28 01시

멀티에이전트의 협력 방식과 확장 과정에서 발생할 시스템적 위험을 분석했다.

·1·2026.08.13 09시

단일 모델의 한계를 극복하기 위해 모델 불가지론적(Model-agnostic) 구조를 가진 AI 에이전트 기반 보안 검증 파이프라인 구축 방법을 설명한다.

·3·2026.07.10 10시

Ladybird 브라우저가 AI 생성 코드의 신뢰성 문제를 이유로 공개 Pull Request 수락을 중단한다.

·2026.06.06 09시

AI 코딩 도구가 생성한 코드의 보안 취약점 위험을 경고하며 기술적 가드레일의 필요성을 강조한다.

·1·2026.05.27 23시

OpenAI가 Daybreak를 공개해 방어자용 취약점 탐지·패치 검증을 강화했다.

·1·2026.05.13 00시

Discourse는 AI 시대에도 오픈소스를 유지하겠다고 선언했다.

·2026.04.17 12시

Claude Mythos의 초강력 취약점 탐지 능력이 보안 인력 수요를 키울 수 있다는 주장.

·1·2026.04.16 05시

AI 보안 위협을 이유로 Cal.com이 폐쇄 소스로 전환한다.

·1·2026.04.16 00시

분산된 dependency cooldown보다 중앙 upload queue가 더 안전하고 일관적이다.

·2026.04.15 11시

Replit은 AI 모델의 비결정론적 한계를 극복하기 위해 정적 분석과 LLM 추론을 결합한 하이브리드 보안 모델을 제안한다.

·2·2026.01.15 10시

OpenAI가 발견한 제3자 소프트웨어의 취약점을 책임감 있게 보고하기 위한 외부 취약점 조율 공시 정책을 발표했다.

·2·2025.09.22 09시