Follow
Maximilian Algehed
Title
Cited by
Cited by
Year
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, 2017
252017
Faceted secure multi execution
T Schmitz, M Algehed, C Flanagan, A Russo
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
222018
Encoding DCC in Haskell
M Algehed, A Russo
Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017
192017
Optimising faceted secure multi-execution
M Algehed, A Russo, C Flanagan
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 1-115, 2019
132019
Simple Noninterference from Parametricity
M Algehed, JP Bernardy
International Conference on Functional Programming (ICFP) 2019, 2019
112019
A Perspective on the Dependency Core Calculus
M Algehed
PLAS 2018 13, 24-28, 2018
82018
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
M Algehed, C Flanagan
2020 33rd IEEE Computer Security Foundations Symposium (CSF), 2020
52020
Dynamic IFC theorems for free!
M Algehed, JP Bernardy, C Hriţcu
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-14, 2021
22021
DeDup. js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication
P Picazo-Sanchez, M Algehed, A Sabelfeld
12021
Saint: an API-generic Type-safe Interpreter⋆
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
12018
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
Applying consensus and replication securely with FLAQR
P Mondal, M Algehed, O Arden
arXiv preprint arXiv:2205.04384, 2022
2022
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
Bidirectional Testing of Communicating Systems
M ALGEHED
2017
Automated Assessment of Imperative Programs
M ALGEHED, S BOIJ, M FARROKHZAD, J HULTIN, AS KAAR
2017
The system can't perform the operation now. Try again later.
Articles 1–20