Safe Serialization Under Mutual Suspicion

From Erights

Revision as of 22:01, 29 November 2006 by Mscheffler (Talk)
Jump to: navigation, search

File:E-lambda.gif/ data / serial

File:Prev-gray.gif

File:First.gif

File:Next-gray.gif

Safe Serialization
Under Mutual Suspicion


by Mark S. Miller
The chapters of this paper marked below with a "->" are submitted,
together with a working implementation,
to Professor Scott Smith for credit as independent study.
(At the present time, the rest are not yet in a coherent state. Read farther at your own risk.)
{| cellpadding="12"
->

Abstract & Introduction

->

Deconstructing Serialization
Part 1: Introducing Data-E
Part 2: "Reversing" Evaluation

->

Manipulating Authority at the Exits

->

Selective Transparency within the Subgraph

Manipulating Identity at the Entries

Persistence and Upgrade

Related Work

Conclusions

Acks and References

->

Appendix A: The Data-E Manual

| rowspan="2" width="10%" align="right" valign="bottom" |

|- valign="TOP" |


Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
{| width="100%" cellpadding="4"

|

File:E-lambda.gif/ data / serial

File:Prev-gray.gif

File:First.gif

File:Next-gray.gif

|

<center>ELib E Language Smart Contracts Related
Download FAQ API Mail Archive Donate

|

|- | colspan="3" |

|}</center> |}

Personal tools
more tools