Securing the Foundations of Practical Information Flow Control
Licentiatavhandling, 2019

HB4
Opponent: Catalin Hritcu, INRIA, France

Författare

Maximilian Algehed

Chalmers, Data- och informationsteknik, Funktionell programmering

A perspective on the dependency core calculus

Proceedings of the ACM Conference on Computer and Communications Security,; (2018)p. 24-28

Paper i proceeding

Faceted secure multi execution

Proceedings of the ACM Conference on Computer and Communications Security,; (2018)p. 1617-1634

Paper i proceeding

Encoding DCC in Haskell

Paper i proceeding

Simple Noninterference from Parametricity

Proceedings of the ACM on Programming Languages,; (2019)

Paper i proceeding

Optimising Faceted Secure Multi-Execution

Proceedings - IEEE Computer Security Foundations Symposium,; Vol. 2019-June(2019)p. 1-16

Paper i proceeding

Styrkeområden

Informations- och kommunikationsteknik

Drivkrafter

Hållbar utveckling

Ämneskategorier

Data- och informationsvetenskap

Utgivare

Chalmers tekniska högskola

HB4

Opponent: Catalin Hritcu, INRIA, France

Mer information

Senast uppdaterat

2019-10-25