Towards Secure IoT Programming in Haskell
Paper in proceeding, 2020
Haskell
Synchronous programming
Information-Flow Control
IoT
eDSL
Author
Nachiappan Valliappan
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Robert Krook
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Koen Claessen
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020
136-150
9781450380508 (ISBN)
Online, ,
Octopi: Säker Programering för Sakernas Internet
Swedish Foundation for Strategic Research (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1145/3406088.3409027