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

Modular Normalization with Types

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations

HasTEE - Programming Trusted Execution Environments with Haskell

Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

Language-Based Techniques and Stochastic Models for Automated Testing

Synchron - An API and Runtime for Embedded Systems

Creating a Language for Writing Real-Time Applications for the Internet of Things

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

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

A Programming Language for Data Privacy with Accuracy Estimations

Towards Secure IoT Programming in Haskell

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

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds

Automated Derivation of Random Generators for Algebraic Data Types

Securing Asynchronous Exceptions

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Simple Noninterference by Normalization

Optimising Faceted Secure Multi-Execution

Generating Random Structurally Rich Algebraic Data Type Values

Exponential Elimination for Bicartesian Closed Categorical Combinators

Deriving Compositional Random Generators

Mer information

Projektet på Chalmers webb

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

Senast uppdaterat