Programming Methodology Group

Aeolus

Aeolus is a platform for building secure distributed applications using the decentralized information flow control model.

Software | Publications


Software:

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.
A preliminary 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
       aeolus-admin @ pmg.csail.mit.edu
if you would like to be advised when a more polished release is available.

Publications:

Copyright notice.

2013

“IFDB: Decentralized Information Flow Control for Databases”
by David Schultz and Barbara Liskov.
In Proceedings of the 8th ACM European Conference on Computer Systems, (Prague, Czech Republic), Apr. 2013.
Details. Download: pdf.

2012

“Summarizing Audit Trails in the Aeolus Security Platform”
by Wissam Jarjoui.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2012.
Details. Download: pdf.

“Aeolus Reference Manual”
by Barbara Liskov.
MIT technical report MIT-CSAIL-TR-2012-030, Sep. 2012.
Details. Download: pdf.

“Decentralized Information Flow Control for Databases”
by David Schultz.
Ph.D. dissertation, MIT, July 2012.
Details. Download: pdf.

“Abstractions for Usable Information Flow Control in Aeolus”
by Winnie Cheng, Dan R. K. Ports, David Schultz, Victoria Popic, Aaron Blankstein, James Cowling, Dorothy Curtis, Liuba Shrira, and Barbara Liskov.
In Proceedings of the 2012 USENIX Annual Technical Conference, (Boston, MA, USA), June 2012.
Details. Download: pdf.

2011

“A File System Design for the Aeolus Security Platform”
by F. Peter McKee.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2011.
Details. Download: pdf.

“Analyzing Audit Trails in the Aeolus Security Platform”
by Aaron Blankstein.
Masters thesis, MIT, (Cambridge, MA, USA), June 2011.
Details. Download: pdf.

2010

“Audit Trails in the Aeolus Distributed Security Platform”
by Victoria Popic.
Masters thesis, MIT, (Cambridge, MA, USA), Sep. 2010. Also as Technical Report MIT-CSAIL-TR-2010-048.
Details. Download: pdf.

2009

“Information Flow for Secure Distributed Applications”
by Winnie Wing-Yee Cheng.
Ph.D. dissertation, MIT, (Cambridge, MA, USA), Aug. 2009. Also as Technical Report MIT-CSAIL-TR-2009-040.
Details. Download: pdf.


Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

This page was generated Wed May 1 12:49:27 2013 by bibtex2web

Programming Methodology Group