Maximilian Algehed

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