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

Language-Based Techniques and Stochastic Models for Automated Testing

Language-Based Differential Privacy with Accuracy Estimations and Sensitivity Analyses

Modular Normalization with Types

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

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

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