Skip to content
Permalink
Browse files

Update README.md

  • Loading branch information...
bjohannesmeyer committed Jun 23, 2019
1 parent 4e0daae commit 3de012434d4cea037db273aa2b8cc1fad9542281
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
@@ -8,7 +8,7 @@ that need to be free from timing side channels.
## Useful links:

- [Our paper](/FaCT_extended.pdf)
- [Online demo of code gen](https://fact.sysnet.ucsd.edu/) (thanks to [godbolt](https://github.com/mattgodbolt/compiler-explorer))
- [Online demo using Compiler Explorer](https://fact.sysnet.ucsd.edu/) ([source](https://github.com/bjohannesmeyer/fact-website) forked from [mattgodbolt/compiler-explorer](https://github.com/mattgodbolt/compiler-explorer))
- [FaCT case studies / evaluation](https://github.com/PLSysSec/fact-eval)
- [Haskell embedding](https://github.com/PLSysSec/inline-fact)
- [Python embedding](https://github.com/PLSysSec/CTFFI)

0 comments on commit 3de0124

Please sign in to comment.
You can’t perform that action at this time.