Maximilian Algehed

Showing 18 publications

2023

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

Priyanka Mondal, Maximilian Algehed, Owen Arden
Journal of Computer Security. Vol. 31 (5), p. 615-645
Journal article
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 (ICISSP). Vol. 1, p. 528-535
Paper in proceeding
2022

Applying consensus and replication securely with FLAQR

Priyanka Mondal, Maximilian Algehed, Owen Arden
Proceedings - IEEE Computer Security Foundations Symposium. Vol. 2022-August, p. 163-178
Paper in proceeding
2022

SecWasm: Information Flow Control for WebAssembly

Iulia Bastys, Maximilian Algehed, Alexander Sjösten et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13790 LNCS, p. 74-103
Paper in proceeding
2021

Dynamic IFC Theorems for Free!

Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), p. 65-78
Paper in proceeding
2021

On the Foundations of Practical Language-Based Security

Maximilian Algehed
Doctoral thesis
2020

Transparent IFC Enforcement: Possibility and (In)Efficiency Results

Maximilian Algehed, Cormac Flanagan
Proceedings - IEEE Computer Security Foundations Symposium. Vol. 2020-June, p. 65-78
Paper in proceeding
2019

Securing the Foundations of Practical Information Flow Control

Maximilian Algehed
Licentiate thesis
2019

Optimising Faceted Secure Multi-Execution

Maximilian Algehed, Alejandro Russo, Cormac Flanagan
Proceedings - IEEE Computer Security Foundations Symposium. Vol. 2019-June, p. 1-16
Paper in proceeding
2019

Simple Noninterference from Parametricity

Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages. Vol. 3
Journal article
2019

Saint: an API-generic type-safe interpreter

Maximilian Algehed, Patrik Jansson, Sólrún Einarsdóttir et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11457 LNCS, p. 94-113
Paper in proceeding
2018

A perspective on the dependency core calculus

Maximilian Algehed
Proceedings of the ACM Conference on Computer and Communications Security, p. 24-28
Paper in proceeding
2018

Faceted secure multi execution

Thomas Schmitz, Cormac Flanagan, Maximilian Algehed et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 1617-1634
Paper in proceeding
2017

Encoding DCC in Haskell

Maximilian Algehed, Alejandro Russo
PLAS '17: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. Vol. 2017-January
Paper in proceeding
2017

VisPar: Visualising dataflow graphs from the Par monad

Maximilian Algehed, Patrik Jansson
6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC 2017, Oxford, United Kingdom, 7 September 2017, p. 24-29
Paper in proceeding
2017

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

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Journal article
2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Journal article
2017

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

Maximilian Algehed, Koen Claessen, Moa Johansson et al
Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, p. 38-39
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2015–2018

Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)

Alex Gerdes Functional Programming
Irene Lobo Valbuena Software Technology (Chalmers)
Sólrún Einarsdóttir Functional Programming
Patrik Jansson Software Technology (Chalmers)
Maximilian Algehed Functional Programming
European Commission (EC)

5 publications exist
There might be more projects where Maximilian Algehed participates, but you have to be logged in as a Chalmers employee to see them.