demonstration

Demo proposal: making web applications -XSafe

Authors:

Amit A. Levy,

David Terei,

Deian Stefan,

David MaziéresAuthors Info & Claims

ACM SIGPLAN Notices, Volume 49, Issue 12

Page 91

https://doi.org/10.1145/2775050.2633373

Published: 03 September 2014 Publication History

Get Access

Abstract

Simple is a web framework for Haskell. Simple came out of our work on Hails, a platform for secure web applications. For Hails, we needed a flexible web framework that uses no unsafe language features and can be used to build apps outside the IO monad. Unlike many mainstream web frameworks, Simple does not enforce a particular structure or paradigm. Instead, it simply provides a set of composable building blocks to help developers structure and organize their web applications.

We've used Simple to build both traditional web applications as well as applications with explicit, strong safety and security guarantees. In the demonstration, we'll focus on the former -- introducing the framework and motivating it's utility for traditional web apps -- and show how we can leverage the LIO information flow control library to add mandatory security policies to apps.

Index Terms

Demo proposal: making web applications -XSafe
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages
    2. Software libraries and repositories

Recommendations

Demo proposal: making web applications -XSafe
Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell

Simple is a web framework for Haskell. Simple came out of our work on Hails, a platform for secure web applications. For Hails, we needed a flexible web framework that uses no unsafe language features and can be used to build apps outside the IO monad. ...
Building secure systems with LIO (demo)
Haskell '14

LIO is a decentralized information flow control (DIFC) system, implemented in Haskell. In this demo proposal, we give an overview of the LIO library and show how LIO can be used to build secure systems. In particular, we show how to specify high-level ...
Building secure systems with LIO (demo)
Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell

LIO is a decentralized information flow control (DIFC) system, implemented in Haskell. In this demo proposal, we give an overview of the LIO library and show how LIO can be used to build secure systems. In particular, we show how to specify high-level ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 49, Issue 12

Haskell '14

December 2014

141 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/2775050

Editor:
Andy Gill
University of Kansas, Lawrence, KS

Issue’s Table of Contents

Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell
September 2014
154 pages
ISBN:9781450330411
DOI:10.1145/2633357
Program Chair:
Wouter Swierstra
Universiteit Utrecht, the Netherlands

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2014

Published in SIGPLAN Volume 49, Issue 12

Check for updates

Author Tags

Qualifiers

Demonstration

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
97
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Index Terms

Recommendations