Add simple code examples of ct and non-ct code

crocs-muni / ct-tools

A repository of tools for verifying constant-timeness

https://crocs-muni.github.io/ct-tools/

12 stars 2 forks source link

Closed J08nY closed 8 months ago

J08nY commented 2 years ago

Add the examples from the user study. This needs to wait for the user study data collection to finish.