freedom.js paper

[ryscheng]

The design doc currently is a bit bare. We should write a paper that describes the goals, assumptions, threat model, and design principles in freedom.js

[ryscheng]

Relevant links
https://docs.google.com/a/google.com/document/d/1J1fYfISpL6g0LHolNbnzwXvala9nQUaAtQdC52WhwSc/edit?usp=sharing
https://docs.google.com/document/d/1uuJjIKCntzVbwVpC10xIO_MQNoUBCzVcLRkiwhhkHBA/edit?usp=sharing
https://github.com/freedomjs/freedom/wiki

[agallant]

@willscott time allowing I think it is worth prioritizing this. I'd like to participate, and also will translate/subset whatever info and put it in the wiki/tutorial as appropriate.

[agallant]

Related/sub issues:

• formal design doc should be available discussing freedom.js module isolation properties and adversary model #111 (formal design doc)
• Document the specification language used for interfaces #16 (interface specification language)
• Clarify semantics of freedom tcp sockets #101 (TCP socket semantics/documentation)