Folgen
Maximilian Algehed
Maximilian Algehed
Quviq AB
Bestätigte E-Mail-Adresse bei quviq.com
Titel
Zitiert von
Zitiert von
Jahr
Quick specifications for the busy programmer
N Smallbone, M Johansson, K Claessen, M Algehed
Journal of Functional Programming 27, e18, 2017
342017
Faceted secure multi execution
T Schmitz, M Algehed, C Flanagan, A Russo
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
272018
Encoding DCC in Haskell
M Algehed, A Russo
Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017
242017
Simple Noninterference from Parametricity
M Algehed, JP Bernardy
International Conference on Functional Programming (ICFP) 2019, 2019
172019
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
112018
Secwasm: Information flow control for webassembly
I Bastys, M Algehed, A Sjösten, A Sabelfeld
International Static Analysis Symposium, 74-103, 2022
62022
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
52021
DeDup. js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication
P Picazo-Sanchez, M Algehed, A Sabelfeld
32021
Saint: an API-generic Type-safe Interpreter⋆
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
22018
Applying consensus and replication securely with FLAQR
P Mondal, M Algehed, O Arden
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 163-178, 2022
12022
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
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
Javista Automated Assessment of Imperative Programs
S Kaar, A Algehed, M Farrokhzad, M Hultin, S Boij
2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20