https://github.com/imdea-software/verifying-constant-time

https://github.com/imdea-software/verifying-constant-time

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/imdea-software/verifying-constant-time
• Owner: imdea-software
• Created: 2015-11-20T17:00:53.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2017-03-20T19:19:27.000Z (about 9 years ago)
• Last Synced: 2025-01-06T20:32:44.668Z (over 1 year ago)
• Language: Makefile
• Size: 6.08 MB
• Stars: 35
• Watchers: 9
• Forks: 11
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Verifying Constant-Time Implementations

A tool for verifying constant time implementations, and a case study of

verified constant-time implementations.