Main Page

From Erights

(Difference between revisions)
Jump to: navigation, search
(filling in categories)
(Community)
 
(121 intermediate revisions not shown)
Line 1: Line 1:
-
<big>'''Welcome to the e-rights wiki'''</big>
+
<big>'''Welcome to the ERights.org wiki.'''</big>
-
'''E''' is a secure, distributed, pure-object platform and p2p scripting language for writing ''Capability-based'' Smart Contracts.
+
{{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]].
-
== Getting Started ==
+
== [[Getting Started]] ==
-
[[Getting_Started]] - Tips for E newbies
+
[[Getting Started]] - Tips for {{E}} newbies
-
== Documentation ==
+
== What's New? ==
-
=== Books ===
+
[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.
-
[[Walnut|E in a Walnut]] - This is a basic tutorial on the ''E'' language covering basic, distributed, and secure distributed programming.
+
[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/thesis/index.html Robust Composition] - Towards a Unified Approach to Access Control and Concurrency Control.  This is [[User:MarkM|Mark Miller]]'s PhD disseration, and it explains the rationale, philosophy, and goals of ''E'' and releated systems.
+
[http://www.erights.org/talks/index.html#google-abac Google Techtalk series on ABAC] - Authorization Based Access Control.
-
[[Safe_Serialization_Under_Mutual_Suspicion]] (Wiki conversion in progress)
+
[http://research.google.com/pubs/pub40673.html Distributed Electronic Rights in JavaScript] - paper for [http://www.ccs.neu.edu/esop2013/ ESOP'13] Keynote.
-
=== Papers ===
+
[[Future research topics]]
-
=== Talks / Presentations ===
+
== [[Documentation]] ==
-
== Downloads ==
+
* [[Documentation#Books|Books]]
 +
** [[Walnut|{{E}} in a Walnut]]
 +
* [[Documentation#Tutorials|Tutorials]]
 +
* [[FAQ]]
 +
* [[Documentation#Papers|Papers]]
 +
* [[Documentation#Talks and Presentations|Talks and Presentations]]
-
Please visit the [http://www.erights.org/download/index.html E Download Page].
+
== [[Downloads]] ==
-
== Related Sites ==
+
* [[Downloads#Releases|Releases]] - ready-to-install versions of {{E}}.
-
[[wiki:E_(programming_language)]] - ''E'' on Wikipedia.
+
==[[:Category:Applications|Applications]]==
 +
 
 +
== [[Erights:Community Portal|Community]] ==
 +
 
 +
[https://groups.google.com/forum/#!forum/e-lang/ e-lang mailing list] - discussion of {{E}} and other capability languages. [https://marc.info/?l=e-lang historical]
 +
 
 +
[https://groups.google.com/forum/#!forum/cap-talk/ cap-talk mailing list] - discussion of general issues regarding capability security. [https://marc.info/?l=cap-talk historical]
 +
 
 +
[https://groups.google.com/forum/#!forum/friam/ friam mailing list] - coordinates the week capability meetings
 +
 
 +
[[Whiteboards]] - Discussion of ideas and other works in progress.
 +
 
 +
==[[Development]]==
 +
* [[Downloads#Subversion|Subversion Repository]] — development branch
 +
* [[:Category:Unresolved design issues|Unresolved design issues]] — things that need thinking about
 +
 
 +
== Related Sites ==
-
[[c2:EeLanguage]] - ''E'' on the C2 wiki.
+
* [http://www.erights.org Main Erights.org site]
 +
* [[wikipedia:E_(programming_language)|{{E}} on Wikipedia]]
 +
* [http://rosettacode.org/wiki/Category:E {{E}} on Rosetta Code]
 +
* [[Object-capability languages]]
 +
* [[Object-capability systems]]
 +
* [[Related Sites|...more...]]

Latest revision as of 16:42, 21 April 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.

Future research topics

Documentation

Downloads

  • Releases - ready-to-install versions of E.

Applications

Community

e-lang mailing list - discussion of E and other capability languages. historical

cap-talk mailing list - discussion of general issues regarding capability security. historical

friam mailing list - coordinates the week capability meetings

Whiteboards - Discussion of ideas and other works in progress.

Development

Related Sites

Personal tools
more tools