Skip to content

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

Closed
Quant-TheodoreFelix wants to merge 75 commits into
masterfrom
constant-time-verify
Closed

상수-시간 연산을 수학/논리적으로 엄밀하게 하기 위한 수정#25
Quant-TheodoreFelix wants to merge 75 commits into
masterfrom
constant-time-verify

Conversation

@Quant-TheodoreFelix
Copy link
Copy Markdown
Member

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

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

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