Octopi: Säker Programering för Sakernas Internet

Forskningsprojekt , 2018 – 2023

Deltagare

Samarbetspartners

Finansiering

Relaterade styrkeområden och infrastruktur

Informations- och kommunikationsteknik

Styrkeområden

Publikationer

Synchron - An API and Runtime for Embedded Systems

Functional Programming for Embedded Systems

Practical normalization by evaluation for EDSLs

Higher-Order Concurrency for Microcontrollers

Formal Verification of Complex Data Paths: An Industrial Experience

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

A Programming Language for Data Privacy with Accuracy Estimations

Be My Guest: Normalizing and Compiling Programs using a Host Language

Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications

Securing Asynchronous Exceptions

Automated Derivation of Random Generators for Algebraic Data Types

Towards Secure IoT Programming in Haskell

Exponential Elimination for Bicartesian Closed Categorical Combinators

Generating Random Structurally Rich Algebraic Data Type Values

Simple Noninterference by Normalization

Deriving Compositional Random Generators

Optimising Faceted Secure Multi-Execution

Mer information

Projektet på Chalmers webb

https://www.chalmers.se/sv/projekt/Sidor/O...

Senast uppdaterat