pmg.lcs.mit.edu
VR project homepage - Viewstamped Replication
http://pmg.lcs.mit.edu/vr
VR - Viewstamped Replication. This project aims to produce a highly available and consistent service through state-machine replication. Viewstamped Replication is intended to preserve consistency despite fail-stop (crash) faults and network unavailability; the BFT. Project later extended this work to handle arbitrary kinds of node failures. 8220;Viewstamped Replication Revisited”. By Barbara Liskov and James Cowling. MIT technical report MIT-CSAIL-TR-2012-021, July 2012. Replication: Theory and Practice.
pmg.lcs.mit.edu
BFT project homepage
http://pmg.lcs.mit.edu/bft
BFT - Practical Byzantine Fault Tolerance. This project is aimed at developing algorithms and implementation techniques to build practical Byzantine-fault-tolerant systems, that is, systems that work correctly even when some components are faulty and exhibit arbitrary behavior. We believe that these systems will be increasingly important in the future because malicious attacks and software errors are increasingly common and can cause faulty nodes to exhibit arbitrary behavior. Vol 13, Dec. 2010, ACM.
pmg.lcs.mit.edu
Aeolus Project
http://pmg.lcs.mit.edu/aeolus
Aeolus is a platform for building secure distributed applications using the decentralized information flow control model. The Aeolus reference manual. Provides a detailed description of the Aeolus platform API. The javadocs for Aeolus are available here. Instructions for installing and running Aeolus are here. Release of the Aeolus platform is available here. We are still fixing some bugs and outstanding issues, and an updated release will be available soon. Please contact us at. By F Peter McKee. Master...
pmg.lcs.mit.edu
PMG Research - IRIS
http://pmg.lcs.mit.edu/iris
Infrastructure for Resilient Internet Systems. The IRIS project is developing an infrastructure for robust, scalable distributed systems based on distributed hash tables. More information can be found in the IRIS project home page. This page summarizes the Programming Methodology Group's contributions to this project. 8220;EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management”. By Ben Leong, Barbara Liskov, and Erik D. Demaine. Singapore), Nov. 2004. 3rd International ...
pmg.lcs.mit.edu
IFDB: Decentralized Information Flow Control for Databases
http://pmg.lcs.mit.edu/pubs/schultz13__ifdb_decentralized_ifc-abstract.html
IFDB: Decentralized Information Flow Control for Databases. 8220;IFDB: Decentralized Information Flow Control for Databases” by David Schultz. Proceedings of the 8th ACM. European Conference on Computer Systems. Prague, Czech Republic), Apr. 2013. Numerous sensitive databases are breached every year due to bugs in applications. These applications typically handle data for many users, and consequently, they have access to large amounts of confidential information. Inproceedings{schultz13: ifdb decentraliz...
pmg.lcs.mit.edu
Sameer Ajmani
http://pmg.lcs.mit.edu/~ajmani
PhD in Computer Science. Computer Science and AI Laboratory. EE and Computer Science Department. Massachusetts Institute of Technology. Cambridge, MA 02142. For long-lived distributed systems. A large-scale certificate distribution system. A trusted execution platform for multiparty computation. Research with Professor Barbara Liskov. Past projects and employment. I'm a software engineer with Google. In Computer Science from MIT. In Computer Science from MIT. BA in Computer Science from Cornell University.
pmg.lcs.mit.edu
Aeolus Reference Manual
http://pmg.lcs.mit.edu/pubs/liskov12aeolus-abstract.html
8220;Aeolus Reference Manual” by Barbara Liskov. 2012-030, Sep. 2012. This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of a Java library. Techreport{liskov12aeolus, author = {Barbara Liskov}, title = {Aeolus Reference Manual}, institution = {MIT}, number = {MIT-CSAIL-TR-2012-030}, month = sep, year = {2012} }. Also see all authors.
pmg.lcs.mit.edu
Summarizing Audit Trails in the Aeolus Security Platform
http://pmg.lcs.mit.edu/pubs/wjarjoui12_summarizing_audit_trails-abstract.html
Summarizing Audit Trails in the Aeolus Security Platform. 8220;Summarizing Audit Trails in the Aeolus Security Platform” by Wissam Jarjoui. Masters thesis, MIT. Cambridge, MA, USA), Sep. 2012. Mastersthesis{wjarjoui12:summarizing audit trails, author = {Wissam Jarjoui}, title = {Summarizing Audit Trails in the Aeolus Security Platform}, school = {MIT}, address = {Cambridge, MA, USA}, month = sep, year = {2012} }. Also see all authors. All publications by date. And all publications by topic.
pmg.lcs.mit.edu
Serializable Snapshot Isolation in PostgreSQL
http://pmg.lcs.mit.edu/pubs/ports12__serial_snaps_isolat_postg-abstract.html
Serializable Snapshot Isolation in PostgreSQL. 8220;Serializable Snapshot Isolation in PostgreSQL” by Dan R. K. Ports. And Kevin Grittner. In. Proceedings of the 38th International Conference on Very Large Data Bases (VLDB '12). Istanbul, Turkey), Aug. 2012. Also see all authors. All publications by date. And all publications by topic.
pmg.lcs.mit.edu
Viewstamped Replication Revisited
http://pmg.lcs.mit.edu/pubs/liskov12vr-abstract.html
8220;Viewstamped Replication Revisited” by Barbara Liskov. 2012-021, July 2012. Techreport{liskov12vr, author = {Barbara Liskov and James Cowling}, title = {Viewstamped Replication Revisited}, institution = {MIT}, number = {MIT-CSAIL-TR-2012-021}, month = jul, year = {2012} }. Also see all authors. All publications by date. And all publications by topic.