Skip to content

상수-시간 연산을 수학/논리적으로 엄밀하게 하기 위한 수정#26

Merged
Quant-TheodoreFelix merged 4 commits into
feature/public-2.0.0from
constant-time-verify
Apr 18, 2026
Merged

상수-시간 연산을 수학/논리적으로 엄밀하게 하기 위한 수정#26
Quant-TheodoreFelix merged 4 commits into
feature/public-2.0.0from
constant-time-verify

Conversation

@Quant-TheodoreFelix
Copy link
Copy Markdown
Member

  • 정형 검증
  • DSE 방지 및 타이밍 누출 평가
  • 동적 타이밍 누출 평가

3번 항목에 대해 DudeCT 평가 진행중이며, 아무래도 지속적 수정이 필요함.

#25 -> 현재 브랜치: 베이스 브랜치 변경

@Quant-TheodoreFelix Quant-TheodoreFelix merged commit de54d7c into feature/public-2.0.0 Apr 18, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant