http://wiki.erights.org/mediawiki/index.php?title=Documentation&feed=atom&action=historyDocumentation - Revision history2024-03-29T12:14:13ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4724&oldid=prevMarkm: Added "Necessity" paper2022-11-29T14:23:47Z<p>Added "Necessity" paper</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 14:23, 29 November 2022</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 70:</td>
<td colspan="2" class="diff-lineno">Line 70:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.researchgate.net/publication/277889299_Dynamic_Detection_of_Object_Capability_Violations_Through_Model_Checking Dynamic Detection of Object Capability Violations Through Model Checking] by Dustin Rhodes, Tim Disney, Cormac Flanagan</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.researchgate.net/publication/277889299_Dynamic_Detection_of_Object_Capability_Violations_Through_Model_Checking Dynamic Detection of Object Capability Violations Through Model Checking] by Dustin Rhodes, Tim Disney, Cormac Flanagan</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 colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://dl.acm.org/doi/10.1145/3563317 Necessity specifications for robustness] by Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou</ins></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>=== Access Control ===</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Access Control ===</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:14 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4723&oldid=prevMarkm: /* User Interface */2020-11-02T23:46:59Z<p><span class="autocomment">User Interface</span></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:46, 2 November 2020</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 126:</td>
<td colspan="2" class="diff-lineno">Line 126:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.</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: #ffa; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=KoM_aCuFk1w&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2 Immunity from Viruses, Safety from Geeks Bearing Gifts] by Mark S. Miller, 2002, invited talk at Naval Postgraduate School, Monterey CA. <del class="diffchange diffchange-inline">I demonstrate </del>CapDesk and <del class="diffchange diffchange-inline">the </del>DarpaBrowser<del class="diffchange diffchange-inline">, explaining how these user interfaces follow </del>the same designation-as-authorization logic as ocap languages and OSes.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=KoM_aCuFk1w&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2 Immunity from Viruses, Safety from Geeks Bearing Gifts] by Mark S. Miller, 2002, invited talk at Naval Postgraduate School, Monterey CA. CapDesk and DarpaBrowser <ins class="diffchange diffchange-inline">are secure UIs with </ins>the same designation-as-authorization logic as ocap languages and OSes.</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>== Talks and Presentations ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Talks and Presentations ==</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:14 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4722&oldid=prevMarkm: /* User Interface */2020-11-02T23:43:09Z<p><span class="autocomment">User Interface</span></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:43, 2 November 2020</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 125:</td>
<td colspan="2" class="diff-lineno">Line 125:</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>[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.youtube.com/watch?v=KoM_aCuFk1w&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2 Immunity from Viruses, Safety from Geeks Bearing Gifts] by Mark S. Miller, 2002, invited talk at Naval Postgraduate School, Monterey CA. I demonstrate CapDesk and the DarpaBrowser, explaining how these user interfaces follow the same designation-as-authorization logic as ocap languages and OSes.</ins></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>== Talks and Presentations ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Talks and Presentations ==</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:14 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4721&oldid=prevMarkm: /* Books and Theses */2018-10-15T03:50:12Z<p><span class="autocomment">Books and Theses</span></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 03:50, 15 October 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 30:</td>
<td colspan="2" class="diff-lineno">Line 30:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://people.cs.umass.edu/~arjun/papers/guha-dissertation2012.pdf Semantics and Types for Safe Web Programming] by Arjun Guha</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://people.cs.umass.edu/~arjun/papers/guha-dissertation2012.pdf Semantics and Types for Safe Web Programming] by Arjun Guha</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: #ffa; color:black; font-size: smaller;"><div>[<del class="diffchange diffchange-inline">http</del>://<del class="diffchange diffchange-inline">mscheffler.files.wordpress</del>.com/<del class="diffchange diffchange-inline">2008</del>/<del class="diffchange diffchange-inline">07</del>/<del class="diffchange diffchange-inline">diploma_mscheffler</del>.pdf Object-Capability Security in Virtual Environments] by Martin Scheffler</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[<ins class="diffchange diffchange-inline">https</ins>://<ins class="diffchange diffchange-inline">github</ins>.com/<ins class="diffchange diffchange-inline">erights/uploaded-papers/raw</ins>/<ins class="diffchange diffchange-inline">master</ins>/<ins class="diffchange diffchange-inline">ocap-virtual-env</ins>.pdf Object-Capability Security in Virtual Environments] by Martin Scheffler</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>[[Image:EWalnut-small.gif]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Image:EWalnut-small.gif]]</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 36:</td>
<td colspan="2" class="diff-lineno">Line 36:</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>[[Safe Serialization Under Mutual Suspicion]] (Wiki conversion in progress)</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Safe Serialization Under Mutual Suspicion]] (Wiki conversion in progress)</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </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>== Papers ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Papers ==</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:15 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4720&oldid=prevMarkm: /* Talks and Presentations */2018-10-01T15:13:21Z<p><span class="autocomment">Talks and Presentations</span></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 15:13, 1 October 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 131:</td>
<td colspan="2" class="diff-lineno">Line 131:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</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: #ffa; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 Reasoning About Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble, Google March 2016, on joint work with Toby Murray, and Mark S. Miller ([https://ai.google/research/pubs/pub44272 paper])</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 <ins class="diffchange diffchange-inline">Towards </ins>Reasoning About Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble, Google March 2016, on joint work with Toby Murray, and Mark S. Miller ([https://ai.google/research/pubs/pub44272 paper])</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>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:15 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4719&oldid=prevMarkm: /* Talks and Presentations */2018-10-01T15:12:54Z<p><span class="autocomment">Talks and Presentations</span></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 15:12, 1 October 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 131:</td>
<td colspan="2" class="diff-lineno">Line 131:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</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: #ffa; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 Reasoning About Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble, Google March 2016, on joint work with Toby Murray, and Mark S. Miller</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 Reasoning About Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble, Google March 2016, on joint work with Toby Murray, and Mark S. Miller <ins class="diffchange diffchange-inline">([https://ai.google/research/pubs/pub44272 paper])</ins></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>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:15 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4718&oldid=prevMarkm: /* Talks and Presentations */2018-10-01T15:08:21Z<p><span class="autocomment">Talks and Presentations</span></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 15:08, 1 October 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 130:</td>
<td colspan="2" class="diff-lineno">Line 130:</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>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 Reasoning About Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble, Google March 2016, on joint work with Toby Murray, and Mark S. Miller</ins></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>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:15 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4717&oldid=prevMarkm: /* Talks and Presentations */2018-09-30T18:10:40Z<p><span class="autocomment">Talks and Presentations</span></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 18:10, 30 September 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 146:</td>
<td colspan="2" class="diff-lineno">Line 146:</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>[https://drive.google.com/file/d/0Bw0VXJKBgYPMS0J2VGIyWWlocms/edit?usp=sharing Computer Security as the Future of Law] - talk by Mark S. Miller at the 1997 Extro 3 Conference.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://drive.google.com/file/d/0Bw0VXJKBgYPMS0J2VGIyWWlocms/edit?usp=sharing Computer Security as the Future of Law] - talk by Mark S. Miller at the 1997 Extro 3 Conference.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.youtube.com/watch?v=WG0JuONIE-c&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=24&t=0s Two Phase Commit Among Strangers] - talk by Mark S. Miller at JSTools (year?). ([https://github.com/erights/slides/raw/master/2phase-commit-among-strangers.pdf slides])</ins></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>[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 S. Miller] - about Smart Contracts, Prediction, Singularities, and more.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[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 S. Miller] - about Smart Contracts, Prediction, Singularities, and more.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:16 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4716&oldid=prevMarkm: /* Talks and Presentations */2018-08-20T00:01:13Z<p><span class="autocomment">Talks and Presentations</span></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 00:01, 20 August 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 128:</td>
<td colspan="2" class="diff-lineno">Line 128:</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>== Talks and Presentations ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== Talks and Presentations ==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[https://www.doc.ic.ac.uk/~scd/Holistic_Specs.WG2.3.pdf Holistic Specifications of Robust Programs] slides for talk by Sophia Drossopoulou IFIP WG 2.3 May 2018, on joint work with James Noble, Toby Murray, and Mark S. Miller.</ins></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>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://slideslive.com/38908776/security-with-scala-refined-types-and-object-capabilities?subdomain=false Security with Scala: Refined Types and Object Capabilities] - talk by Will Sargent at Scala Days 2018.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:16 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Documentation&diff=4715&oldid=prevMarkm: /* Talks and Presentations */2018-08-19T23:23:55Z<p><span class="autocomment">Talks and Presentations</span></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:23, 19 August 2018</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 138:</td>
<td colspan="2" class="diff-lineno">Line 138:</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>[http://isr.uci.edu/content/mark-s-miller The Elements of Decision Alignment: Large programs as complex organizations] - talk by Mark S. Miller at UCI in 2017.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[http://isr.uci.edu/content/mark-s-miller The Elements of Decision Alignment: Large programs as complex organizations] - talk by Mark S. Miller at UCI in 2017.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[http://wiki.erights.org/mediawiki/index.php?title=Special:UserLogin&returnto=Documentation Towards Reasoning about Risk and Trust in an Open World] talk by Sophia Drossopoulou and James Noble given at Google 2016, on joint work with Toby Murray and Mark S. Miller.</ins></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>[https://drive.google.com/file/d/0Bw0VXJKBgYPMeFRjenpFb0dYNnM/view?usp=sharing Frozen Realms: Draft standard support for safer JavaScript plugins] - talk by Mark S. Miller at the IWACO workshop of ECOOP 2016.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[https://drive.google.com/file/d/0Bw0VXJKBgYPMeFRjenpFb0dYNnM/view?usp=sharing Frozen Realms: Draft standard support for safer JavaScript plugins] - talk by Mark S. Miller at the IWACO workshop of ECOOP 2016.</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:14:16 -->
</table>Markm