blob: b969cb415b1732de7182dd516bf52badd757c986 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----
... which would make a good paper title.
To build:
git clone git@github.mit.edu:plv/bedrock.git
( cd bedrock && $(MAKE) Bedrock/Word.vo )
make
|