Documentation - Revision history

Markm: Added "Necessity" paper

2022-11-29T14:23:47Z

Added "Necessity" paper

←Older revision		Revision as of 14:23, 29 November 2022
Line 70:		Line 70:
	[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		[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

		+	[https://dl.acm.org/doi/10.1145/3563317 Necessity specifications for robustness] by Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou

	=== Access Control ===		=== Access Control ===

Markm: /* User Interface */

2020-11-02T23:46:59Z

User Interface

←Older revision		Revision as of 23:46, 2 November 2020
Line 126:		Line 126:
	[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.		[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.

-	[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.	+	[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 are secure UIs with the same designation-as-authorization logic as ocap languages and OSes.

	== Talks and Presentations ==		== Talks and Presentations ==

Markm: /* User Interface */

2020-11-02T23:43:09Z

User Interface

←Older revision		Revision as of 23:43, 2 November 2020
Line 125:		Line 125:

	[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.		[https://sites.google.com/site/belayresearchproject/ Belay Research] by Mark Lentczner. Secure ui principles for apps within the browser.
		+
		+	[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.

	== Talks and Presentations ==		== Talks and Presentations ==

Markm: /* Books and Theses */

2018-10-15T03:50:12Z

Books and Theses

←Older revision		Revision as of 03:50, 15 October 2018
Line 30:		Line 30:
	[http://people.cs.umass.edu/~arjun/papers/guha-dissertation2012.pdf Semantics and Types for Safe Web Programming] by Arjun Guha		[http://people.cs.umass.edu/~arjun/papers/guha-dissertation2012.pdf Semantics and Types for Safe Web Programming] by Arjun Guha

-	[~~http~~://~~mscheffler.files.wordpress~~.com/~~2008~~/07/~~diploma_mscheffler~~.pdf Object-Capability Security in Virtual Environments] by Martin Scheffler	+	[https://github.com/erights/uploaded-papers/raw/master/ocap-virtual-env.pdf Object-Capability Security in Virtual Environments] by Martin Scheffler

	[[Image:EWalnut-small.gif]]		[[Image:EWalnut-small.gif]]
Line 36:		Line 36:

	[[Safe Serialization Under Mutual Suspicion]] (Wiki conversion in progress)		[[Safe Serialization Under Mutual Suspicion]] (Wiki conversion in progress)
-

	== Papers ==		== Papers ==

Markm: /* Talks and Presentations */

2018-10-01T15:13:21Z

Talks and Presentations

←Older revision		Revision as of 15:13, 1 October 2018
Line 131:		Line 131:
	[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.		[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.

-	[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])	+	[https://www.youtube.com/watch?v=lxf7HTxWluc&list=PLKr-mvz8uvUgybLg53lgXSeLOp4BiwvB2&index=25 Towards 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])

	[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.		[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.

Markm: /* Talks and Presentations */

2018-10-01T15:12:54Z

Talks and Presentations

←Older revision		Revision as of 15:12, 1 October 2018
Line 131:		Line 131:
	[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.		[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.

-	[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://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])

	[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.		[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.

Markm: /* Talks and Presentations */

2018-10-01T15:08:21Z

Talks and Presentations

←Older revision		Revision as of 15:08, 1 October 2018
Line 130:		Line 130:

	[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.		[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.
		+
		+	[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://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.		[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.

Markm: /* Talks and Presentations */

2018-09-30T18:10:40Z

Talks and Presentations

←Older revision		Revision as of 18:10, 30 September 2018
Line 146:		Line 146:

	[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.		[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.
		+
		+	[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])

	[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.		[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.

Markm: /* Talks and Presentations */

2018-08-20T00:01:13Z

Talks and Presentations

←Older revision		Revision as of 00:01, 20 August 2018
Line 128:		Line 128:

	== Talks and Presentations ==		== Talks and Presentations ==
		+
		+	[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.

	[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.		[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.

Markm: /* Talks and Presentations */

2018-08-19T23:23:55Z

Talks and Presentations

←Older revision		Revision as of 23:23, 19 August 2018
Line 138:		Line 138:

	[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.		[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.
		+
		+	[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.

	[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.		[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.