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

Sensitivity by Parametricity

Modular Normalization with Types

HasTEE - Programming Trusted Execution Environments with Haskell

Calculating Function Sensitivity for Synthetic Data Algorithms

Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

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

Language-Based Techniques and Stochastic Models for Automated Testing

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

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 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

Towards Secure IoT Programming in Haskell

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

Generating Random Structurally Rich Algebraic Data Type Values

Optimising Faceted Secure Multi-Execution

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