Maximilian Algehed

Publikationer (18)
Projekt (1)

Visar 18 publikationer

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

Artikel i vetenskaplig tidskrift

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 i proceeding

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 i 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 i proceeding

2021

On the Foundations of Practical Language-Based Security

Maximilian Algehed

Doktorsavhandling

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 i proceeding

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 i proceeding

2019

Simple Noninterference from Parametricity

Maximilian Algehed, Jean-Philippe Bernardy

Proceedings of the ACM on Programming Languages. Vol. 3

Artikel i vetenskaplig tidskrift

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 i proceeding

Visa projekt

2019

Securing the Foundations of Practical Information Flow Control

Maximilian Algehed

Licentiatavhandling

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 i proceeding

Visa projekt

2018

A perspective on the dependency core calculus

Maximilian Algehed

Proceedings of the ACM Conference on Computer and Communications Security, p. 24-28

Paper i 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 i proceeding

2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al

Journal of Functional Programming. Vol. 27

Artikel i vetenskaplig tidskrift

2017

Encoding DCC in Haskell

Maximilian Algehed, Alejandro Russo

PLAS '17: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security

Paper i 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

Artikel i vetenskaplig tidskrift

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 i proceeding

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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2015–2018

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Alex Gerdes Funktionell programmering

Irene Lobo Valbuena Programvaruteknik

Sólrún Einarsdóttir Funktionell programmering

Patrik Jansson Programvaruteknik

Maximilian Algehed Funktionell programmering

Europeiska kommissionen (EU)

5 publikationer finns

Det kan finnas fler projekt där Maximilian Algehed medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.