Maximilian Algehed
Showing 18 publications
Flow-limited authorization for consensus, replication, and secret sharing
DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication
Applying consensus and replication securely with FLAQR
SecWasm: Information Flow Control for WebAssembly
Dynamic IFC Theorems for Free!
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Securing the Foundations of Practical Information Flow Control
Optimising Faceted Secure Multi-Execution
Simple Noninterference from Parametricity
Saint: an API-generic type-safe interpreter
A perspective on the dependency core calculus
Faceted secure multi execution
VisPar: Visualising dataflow graphs from the Par monad
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Quick Specifications for the Busy Programmer
QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
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
Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)