단 1비트의 데이터도 노출하지 않고 여러 사람이 '합계'와 '순위'만 계산하는 법: 다자간 보안 컴퓨팅(MPC)과 야오의 백만장자 문제
Tags
30 페이지
Computer Science
시끄러운 카페에서 단 3초만 듣고 어떻게 노래 제목을 즉시 알아낼까? 음향 지문(Shazam)과 맹목 원음 분리(ICA)의 수리
오차투성이 센서와 불확실한 예측으로부터 우주선과 자율주행차는 어떻게 '진짜 현재 위치'를 찾아내는가: 칼만 필터와 상태 추정의 수리공학
우주 탐사선 통신과 QR 코드는 어떻게 일부가 훼손되어도 데이터를 완벽히 복원할까: 오류 정정 부호와 섀넌 한계의 과학
이론상 지수 폭발해야 할 NP-완전 난제를 현대 컴퓨터는 어떻게 순식간에 풀어내는가: SAT 솔버, CDCL, 그리고 상전이 현상
작은 글씨는 왜 뭉개지지 않고 선명하게 읽힐까: 폰트 렌더링, 베지어 곡선, 힌팅 가상머신과 서브픽셀 안티에일리어싱의 수학
잠금(Lock)을 전혀 쓰지 않고 어떻게 여러 스레드가 동시에 같은 데이터를 수정할까: 락프리(Lock-Free) 프로그래밍과 ABA 문제의 과학
프로그램을 단 한 번도 실행하지 않고 어떻게 '버그가 절대 없음'을 증명하는가: 형식 검증과 모델 체킹의 과학
'빠른 것'만으로는 부족하다? 데드라인 준수를 수학적으로 보증하는 실시간 운영체제(RTOS)와 스케줄링 이론
누구인지가 아니라 무엇을 가졌는가로 권한을 결정한다: 역량 기반 보안(Capability-Based Security) 아키텍처
단 한 글자도 잃지 않고 어떻게 파일을 줄일 수 있을까: 무손실 압축의 원리와 정보이론적 한계
모두가 상대를 기다리면 왜 아무것도 진행되지 않는가: 데드락(Deadlock)의 수학적 이론, 은행원 알고리즘, 그리고 라이브락
비밀의 존재 자체를 숨길 수 있을까: 스테가노그래피(Steganography)와 정보 은닉의 수학
오래된 게임기를 소프트웨어로 재현할 수 있는 이유: 에뮬레이터 아키텍처 — 인터프리터, JIT 동적 재컴파일, Fastmem, 그리고 사이클 정확도
‘복잡성’은 글자 수로 잴 수 없다: 콜모고로프 복잡성과 무작위성의 정체
실행 파일에서 원본 소스 코드를 되찾을 수 있을까? : 디컴파일(Decompilation)의 원리와 한계
작성한 순서대로 동작하지 않는다고? : CPU와 컴파일러 메모리 모델 입문
저장 도중 전원이 꺼져도 왜 데이터는 안전할까? : 크래시 일관성(Crash Consistency)의 설계 원리
정해진 절차에서 어떻게 '난수'를 만들어낼까? : 예측 불가능성의 수학과 암호학 기술
컴파일러 최적화 기술: SSA(정적 단일 할당)란?
