Maximilian Algehed

Citeras av

	Alla	Sedan 2020
Citat	181	136
h-index	7	7
i10-index	7	6

201720182019202020212022202320249 9 25 24 29 26 34 22

Offentlig åtkomst

Visa alla

12 artiklar

1 artikel

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerifierad e-postadress på ucsc.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerifierad e-postadress på chalmers.se
Jean-Philippe BernardyUniversity of Gothenburg and Chalmers University of TechnologyVerifierad e-postadress på gu.se
Nicholas SmallboneChalmers University of TechnologyVerifierad e-postadress på chalmers.se
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerifierad e-postadress på chalmers.se
Koen ClaessenChalmers University of TechnologyVerifierad e-postadress på chalmers.se
Andrei SabelfeldChalmers University of TechnologyVerifierad e-postadress på chalmers.se
Iulia BastysChalmers University of TechnologyVerifierad e-postadress på chalmers.se
Alexander SjöstenTU WienVerifierad e-postadress på tuwien.ac.at
Priyanka MondalUniversity of California Santa CruzVerifierad e-postadress på ucsc.edu
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of GothenburgVerifierad e-postadress på chalmers.se
Owen ArdenAssistant Professor of Computer Science UCSCVerifierad e-postadress på soe.ucsc.edu
Cătălin HrițcuTenured Faculty at MPI-SPVerifierad e-postadress på mpi-sp.org
Pablo Picazo-SanchezAssistant Professor, Halmstad UniversityVerifierad e-postadress på chalmers.se
Alex GerdesSenior Lecturer, Gothenburg University / ChalmersVerifierad e-postadress på chalmers.se
Sólrún Halla EinarsdóttirPhD student, Chalmers University of TechnologyVerifierad e-postadress på chalmers.se
Magnus MyreenChalmers University of TechnologyVerifierad e-postadress på cl.cam.ac.uk
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
Rolph RectoCornell UniversityVerifierad e-postadress på cornell.edu

Följ

Maximilian Algehed

Quviq AB

Verifierad e-postadress på quviq.com

Computer Security Programming Languages Functional Programming Language-Based Security


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Quick specifications for the busy programmer N Smallbone, M Johansson, K Claessen, M Algehed Journal of Functional Programming 27, e18, 2017	43	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	22	2019
Optimising faceted secure multi-execution M Algehed, A Russo, C Flanagan 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 1-115, 2019	16	2019
Secwasm: Information flow control for WebAssembly I Bastys, M Algehed, A Sjösten, A Sabelfeld International Static Analysis Symposium, 74-103, 2022	13	2022
A Perspective on the Dependency Core Calculus M Algehed PLAS 2018 13, 24-28, 2018	12	2018
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare