Daniel Hedin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Information Flow Tracking for Side-Effectful Libraries Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
| A Principled Approach to Tracking Information Flow in the Presence of Libraries Lecture Notes in Computer Science | 2020-08-03 | Paper |
| SeLINQ: tracking information across application-database boundaries Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Value sensitivity and observable abstract values for information flow control Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
| Cryptographically-Masked Flows Static Analysis | 2009-03-12 | Paper |
| Abstract Interpretation Plugins for Type Systems Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| Cryptographically-masked flows Theoretical Computer Science | 2008-08-06 | Paper |
Research outcomes over time
This page was built for person: Daniel Hedin
