Skip to content
Permalink
Browse files

extended paper

  • Loading branch information...
scauligi committed Apr 17, 2019
1 parent 71b64d7 commit 7bc89616fa3065c568a72e83032c2fb133c439ae
Showing with 1 addition and 0 deletions.
  1. BIN FaCT_extended.pdf
  2. +1 −0 README.md
BIN +962 KB FaCT_extended.pdf
Binary file not shown.
@@ -7,6 +7,7 @@ that need to be free from timing side channels.

## Useful links:

- [Our paper](/FaCT_extended.pdf)
- [Online demo of code gen](http://fact.sysnet.ucsd.edu:10240/) (thanks to [godbolt](https://github.com/mattgodbolt/compiler-explorer))
- [FaCT case studies / evaluation](https://github.com/PLSysSec/fact-eval)
- [Haskell embedding](https://github.com/PLSysSec/inline-fact)

0 comments on commit 7bc8961

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