http://50.77.162.165/mediawiki/index.php?action=history&feed=atom&title=Emily 2026-04-19T22:55:43Z Revision history for this page on the wiki MediaWiki 1.15.5-7 http://50.77.162.165/mediawiki/index.php?title=Emily&diff=1571&oldid=prev 2009-07-10T10:25:19Z

<p>added link to OCaml homepage</p> <p><b>New page</b></p><div>Emily is an object-capability taming of [http://caml.inria.fr/ocaml/index.en.html OCaml].<br /> <br /> == Tech Report ==<br /> <br /> [http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html How Emily Tamed the Caml] - by Marc Stiegler, Mark Miller.<br /> <br /> '''Abstract:''' How does one make a program breach resistant? One promising approach is to apply the Principle of Least Authority at object granularity. The E language has previously demonstrated that object-capability languages turn many of the security requirements for software into emergent properties of traditional object-oriented design and modularity enforcement. Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles. It demonstrates how memory-safe languages can be transformed into breach-resistant object-capability systems with little loss of either expressivity or performance.<br /> <br /> == Downloads ==<br /> <br /> http://erights.org/download/emily/</div>

Kosik http://50.77.162.165/mediawiki/index.php?title=Emily&diff=3188&oldid=prev 2007-03-28T23:11:40Z

<p>tech report and download page</p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 23:11, 28 March 2007</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>Emily is an object-capability taming of <del class="diffchange diffchange-inline">[http://caml.inria.fr/ocaml/index.en.html </del>OCaml<del class="diffchange diffchange-inline">]</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>Emily is an object-capability taming of OCaml.</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Tech Report ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Tech Report ==</div></td></tr> <!-- diff generator: internal 2026-04-19 22:55:44 --> </table>

Ansible