Encoding DCC in Haskell. - Maximilian Algehed; Alejandro Russo (PLAS@CCS, 2017)

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). - Maximilian Algehed; Koen Claessen; Moa Johansson; Nicholas Smallbone (Haskell, 2017)

VisPar: visualising dataflow graphs from the Par Monad. - Maximilian Algehed; Patrik Jansson (FHPC@ICFP, 2017)

Quick specifications for the busy programmer. - Nicholas Smallbone; Moa Johansson; Koen Claessen; Maximilian Algehed (J. Funct. Program., 2017)

A Perspective on the Dependency Core Calculus. - Maximilian Algehed (PLAS@CCS, 2018)

Faceted Secure Multi Execution. - Thomas Schmitz 001; Maximilian Algehed; Cormac Flanagan; Alejandro Russo (CCS, 2018)

Saint: An API-Generic Type-Safe Interpreter. - Maximilian Algehed; Patrik Jansson; Sólrún Halla Einarsdóttir; Alex Gerdes (TFP, 2018)

Optimising Faceted Secure Multi-Execution. - Maximilian Algehed; Alejandro Russo; Cormac Flanagan (CSF, 2019)

Simple noninterference from parametricity. - Maximilian Algehed; Jean-Philippe Bernardy (Proc. ACM Program. Lang., 2019)

Transparent IFC Enforcement: Possibility and (In)Efficiency Results. - Maximilian Algehed; Cormac Flanagan (CSF, 2020)

Dynamic IFC Theorems for Free! - Maximilian Algehed; Jean-Philippe Bernardy; Catalin Hritcu (CSF, 2021)

Multi-Execution Lattices Fast and Slow. - Maximilian Algehed; Cormac Flanagan (CoRR, 2021)

Applying consensus and replication securely with FLAQR. - Priyanka Mondal; Maximilian Algehed; Owen Arden (CSF, 2022)

DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication. - Pablo Picazo-Sanchez; Maximilian Algehed; Andrei Sabelfeld (ICISSP, 2022)

SecWasm: Information Flow Control for WebAssembly. - Iulia Bastys; Maximilian Algehed; Alexander Sjösten; Andrei Sabelfeld (SAS, 2022)

Flow-limited authorization for consensus, replication, and secret sharing. - Priyanka Mondal; Maximilian Algehed; Owen Arden (J. Comput. Secur., 2023)