Quick specifications for the busy programmer N Smallbone, M Johansson, K Claessen, M Algehed Journal of Functional Programming 27, e18, 2017 | 38 | 2017 |
Faceted secure multi execution T Schmitz, M Algehed, C Flanagan, A Russo Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 29 | 2018 |
Encoding DCC in Haskell M Algehed, A Russo Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017 | 25 | 2017 |
Simple Noninterference from Parametricity M Algehed, JP Bernardy International Conference on Functional Programming (ICFP) 2019, 2019 | 21 | 2019 |
Optimising faceted secure multi-execution M Algehed, A Russo, C Flanagan 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 1-115, 2019 | 15 | 2019 |
A Perspective on the Dependency Core Calculus M Algehed PLAS 2018 13, 24-28, 2018 | 12 | 2018 |
Secwasm: Information flow control for WebAssembly I Bastys, M Algehed, A Sjösten, A Sabelfeld International Static Analysis Symposium, 74-103, 2022 | 10 | 2022 |
Transparent IFC Enforcement: Possibility and (In)Efficiency Results M Algehed, C Flanagan 2020 33rd IEEE Computer Security Foundations Symposium (CSF), 2020 | 7 | 2020 |
Dynamic IFC theorems for free! M Algehed, JP Bernardy, C Hriţcu 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-14, 2021 | 4 | 2021 |
DeDup. js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication P Picazo-Sanchez, M Algehed, A Sabelfeld | 4 | 2021 |
Applying consensus and replication securely with FLAQR P Mondal, M Algehed, O Arden 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 163-178, 2022 | 2 | 2022 |
Saint: an API-generic Type-safe Interpreter⋆ M Algehed, P Jansson, SH Einarsdóttir, A Gerdes | 2 | 2018 |
On the Foundations of Practical Language-Based Security M Algehed Chalmers University of Technology, 2021 | 1 | 2021 |
VisPar: Visualising dataflow graphs from the Par monad M Algehed, P Jansson Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017 | 1 | 2017 |
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 |
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 |