Maximilian Algehed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICISSP | DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication. | Pablo Picazo-Sanchez, Maximilian Algehed, Andrei Sabelfeld |
| 2022 | SAS | SecWasm: Information Flow Control for WebAssembly. | Iulia Bastys, Maximilian Algehed, Alexander Sjsten, Andrei Sabelfeld |
| 2018 | CCS | A Perspective on the Dependency Core Calculus. | Maximilian Algehed |
| 2018 | CCS | Faceted Secure Multi Execution. | Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
| 2017 | CCS | Encoding DCC in Haskell. | Maximilian Algehed, Alejandro Russo |
| 2017 | HASKELL | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2017 | ICFP | VisPar: visualising dataflow graphs from the Par Monad. | Maximilian Algehed, Patrik Jansson |