Fast16: Stuxnet보다 5년 앞선 고정밀 소프트웨어 사보타주
libm 초월함수 오차를 이용한 고정밀 소프트웨어 사보타주 분석
IEEE 754 표준 기반 Floating Point의 정밀도 한계와 이진 과학 표기법 구조 분석
Exposing Floating Point – Bartosz Ciechanowski
부동 소수점 연산 조작을 통한 물리 시뮬레이션 Sabotage 툴 'fast16' 분석
Researchers find cyber-sabotage malware that may predate Stuxnet by five years
분리된 구간 집합 위에서 계산하는 계산기
IEEE 754 기반 Interval Union Arithmetic 구현을 통한 부동소수점 정밀도 한계 극복