Main Page
From Erights
(re-import main page) |
(→Related Sites) |
||
(130 intermediate revisions not shown) | |||
Line 1: | Line 1: | ||
- | + | <big>'''Welcome to the ERights.org wiki.'''</big> | |
- | + | ||
{{E}} is an [[wikipedia:Object-capability model|object-capability]] programming language and platform for writing [[wikipedia:Distributed computing|distributed]], secure, and robust software. This wiki is about E and the larger subject of [[wikipedia:Capability-based security|capability-based security]]. | {{E}} is an [[wikipedia:Object-capability model|object-capability]] programming language and platform for writing [[wikipedia:Distributed computing|distributed]], secure, and robust software. This wiki is about E and the larger subject of [[wikipedia:Capability-based security|capability-based security]]. | ||
Line 9: | Line 8: | ||
== What's New? == | == What's New? == | ||
+ | |||
+ | [https://drive.google.com/file/d/0Bw0VXJKBgYPMS0J2VGIyWWlocms/edit?usp=sharing "Computer Security as the Future of Law"] - talk by Mark Miller at the 1997 Extro 3 Conference. | ||
+ | |||
+ | [http://www.michaelcovel.com/2014/06/16/ep-248-mark-miller-interview-with-michael-covel-on-trend-following-radio-jun-17-2014/ Interview with Mark Miller] - about Smart Contracts, Prediction, Singularities, and more. | ||
[http://www.erights.org/talks/index.html#google-abac Google Techtalk series on ABAC] - Authorization Based Access Control. | [http://www.erights.org/talks/index.html#google-abac Google Techtalk series on ABAC] - Authorization Based Access Control. | ||
+ | |||
+ | [http://research.google.com/pubs/pub40673.html Distributed Electronic Rights in JavaScript] - paper for [http://www.ccs.neu.edu/esop2013/ ESOP'13] Keynote. | ||
[[Future research topics]] | [[Future research topics]] | ||
Line 49: | Line 54: | ||
* [http://rosettacode.org/wiki/Category:E {{E}} on Rosetta Code] | * [http://rosettacode.org/wiki/Category:E {{E}} on Rosetta Code] | ||
* [[Object-capability languages]] | * [[Object-capability languages]] | ||
+ | * [[Object-capability systems]] | ||
* [[Related Sites|...more...]] | * [[Related Sites|...more...]] |
Revision as of 23:31, 10 March 2018
Welcome to the ERights.org wiki.
E is an object-capability programming language and platform for writing distributed, secure, and robust software. This wiki is about E and the larger subject of capability-based security.
Contents |
Getting Started
Getting Started - Tips for E newbies
What's New?
"Computer Security as the Future of Law" - talk by Mark Miller at the 1997 Extro 3 Conference.
Interview with Mark Miller - about Smart Contracts, Prediction, Singularities, and more.
Google Techtalk series on ABAC - Authorization Based Access Control.
Distributed Electronic Rights in JavaScript - paper for ESOP'13 Keynote.
Documentation
Downloads
- Releases - ready-to-install versions of E.
Applications
Community
e-lang mailing list - discussion of E and other capability languages.
cap-talk mailing list - discussion of general issues regarding capability security.
#erights IRC channel - On the #erights IRC channel at irc.freenode.net, you can talk to a running instance of E as well as elang-ers online. Try saying "? 2+3".
Whiteboards - Discussion of ideas and other works in progress.
Development
- Subversion Repository — development branch
- Unresolved design issues — things that need thinking about