Maximilian Algehed

According to our database, Maximilian Algehed authored at least 16 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Flow-limited authorization for consensus, replication, and secret sharing.

Priyanka Mondal, Maximilian Algehed, Owen Arden

J. Comput. Secur., 2023

2022

SecWasm: Information Flow Control for WebAssembly.

Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld

Proceedings of the Static Analysis - 29th International Symposium, 2022

DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication.

Pablo Picazo-Sanchez, Maximilian Algehed, Andrei Sabelfeld

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

Applying consensus and replication securely with FLAQR.

Priyanka Mondal, Maximilian Algehed, Owen Arden

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Multi-Execution Lattices Fast and Slow.

Maximilian Algehed, Cormac Flanagan

CoRR, 2021

Dynamic IFC Theorems for Free!

Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Transparent IFC Enforcement: Possibility and (In)Efficiency Results.

Maximilian Algehed, Cormac Flanagan

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Simple noninterference from parametricity.

Maximilian Algehed, Jean-Philippe Bernardy

Proc. ACM Program. Lang., 2019

Optimising Faceted Secure Multi-Execution.

Maximilian Algehed, Alejandro Russo, Cormac Flanagan

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Saint: An API-Generic Type-Safe Interpreter.

Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Faceted Secure Multi Execution.

Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

A Perspective on the Dependency Core Calculus.

Maximilian Algehed

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2017

Quick specifications for the busy programmer.

Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed

J. Funct. Program., 2017

VisPar: visualising dataflow graphs from the Par Monad.

Maximilian Algehed, Patrik Jansson

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).

Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Encoding DCC in Haskell.

Maximilian Algehed, Alejandro Russo

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017