Seuraa
Maximilian Algehed
Maximilian Algehed
Quviq AB
Vahvistettu sähköpostiosoite verkkotunnuksessa quviq.com
Nimike
Viittaukset
Viittaukset
Vuosi
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, e18, 2017
362017
Faceted secure multi execution
T Schmitz, M Algehed, C Flanagan, A Russo
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
292018
Encoding DCC in Haskell
M Algehed, A Russo
Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017
252017
Simple Noninterference from Parametricity
M Algehed, JP Bernardy
International Conference on Functional Programming (ICFP) 2019, 2019
192019
Optimising faceted secure multi-execution
M Algehed, A Russo, C Flanagan
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 1-115, 2019
152019
A Perspective on the Dependency Core Calculus
M Algehed
PLAS 2018 13, 24-28, 2018
11*2018
Secwasm: Information flow control for WebAssembly
I Bastys, M Algehed, A Sjösten, A Sabelfeld
International Static Analysis Symposium, 74-103, 2022
82022
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
M Algehed, C Flanagan
2020 33rd IEEE Computer Security Foundations Symposium (CSF), 2020
62020
Dynamic IFC theorems for free!
M Algehed, JP Bernardy, C Hriţcu
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-14, 2021
42021
DeDup. js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication
P Picazo-Sanchez, M Algehed, A Sabelfeld
42021
Applying consensus and replication securely with FLAQR
P Mondal, M Algehed, O Arden
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 163-178, 2022
22022
Saint: an API-generic Type-safe Interpreter⋆
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
22018
VisPar: Visualising dataflow graphs from the Par monad
M Algehed, P Jansson
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017
12017
Flow-limited authorization for consensus, replication, and secret sharing
P Mondal, M Algehed, O Arden
Journal of Computer Security, 1-31, 2023
2023
Multi-Execution Lattices Fast and Slow
M Algehed, C Flanagan
arXiv preprint arXiv:2103.13667, 2021
2021
Secure Information Flow for Concurrent Programs with Expressive Synchronization
R Recto, M Algehed, AC Myers
2021
On the Foundations of Practical Language-Based Security
M Algehed
Chalmers University of Technology, 2021
2021
Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
M Pałka, M Myreen
Springer, 2019
2019
Securing the Foundations of Practical Information Flow Control - Licenciate Thesis
M Algehed
Chalmers University of Technology, 2019
2019
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
M Algehed, K Claessen, M Johansson, N Smallbone
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 38-39, 2017
2017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20