Maximilian Algehed

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 19

Top Topics

Detect Malicious

Fractal Image Encoding

Information Flow Control

Top Venues

Proc. ACM Program. Lang.

Publications

Priyanka Mondal, Maximilian Algehed, Owen Arden
Flow-limited authorization for consensus, replication, and secret sharing. J. Comput. Secur. 31 (5) (2023)
Priyanka Mondal, Maximilian Algehed, Owen Arden
Applying consensus and replication securely with FLAQR. CoRR (2022)
Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld
SecWasm: Information Flow Control for WebAssembly. SAS (2022)
Pablo Picazo-Sanchez, Maximilian Algehed, Andrei Sabelfeld
DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication. ICISSP (2022)
Priyanka Mondal, Maximilian Algehed, Owen Arden
Applying consensus and replication securely with FLAQR. CSF (2022)
Maximilian Algehed, Cormac Flanagan
Multi-Execution Lattices Fast and Slow. CoRR (2021)
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
Dynamic IFC Theorems for Free! CSF (2021)
Maximilian Algehed, Cormac Flanagan
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CSF (2020)
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
Dynamic IFC Theorems for Free! CoRR (2020)
Maximilian Algehed, Cormac Flanagan
Transparent IFC Enforcement: Possibility and (In)Efficiency Results. CoRR (2020)
Maximilian Algehed, Alejandro Russo, Cormac Flanagan
Optimising Faceted Secure Multi-Execution. CSF (2019)
Maximilian Algehed, Jean-Philippe Bernardy
Simple noninterference from parametricity. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Maximilian Algehed
A Perspective on the Dependency Core Calculus. PLAS@CCS (2018)
Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo
Faceted Secure Multi Execution. CCS (2018)
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
Saint: An API-Generic Type-Safe Interpreter. TFP (2018)
Maximilian Algehed, Alejandro Russo
Encoding DCC in Haskell. PLAS@CCS (2017)
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed
Quick specifications for the busy programmer. J. Funct. Program. 27 (2017)
Maximilian Algehed, Patrik Jansson
VisPar: visualising dataflow graphs from the Par Monad. FHPC@ICFP (2017)
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell (2017)