Towards secure IoT programming in Haskell.

Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen

Browse the full HASKELL paper archive.