Towards Secure IoT Programming in Haskell
Paper i proceeding, 2020
Haskell
Synchronous programming
Information-Flow Control
IoT
eDSL
Författare
Nachiappan Valliappan
Chalmers, Data- och informationsteknik, Informationssäkerhet
Robert Krook
Chalmers, Data- och informationsteknik, Funktionell programmering
Alejandro Russo
Chalmers, Data- och informationsteknik, Informationssäkerhet
Koen Claessen
Chalmers, Data- och informationsteknik, Funktionell programmering
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
Stiftelsen för Strategisk forskning (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3406088.3409027