Daniel Hedin

Visar 21 publikationer
Information Flow Tracking for Side-Effectful Libraries
A Principled Approach to Tracking Information Flow in the Presence of Libraries
Web Application Security using JSFlow
Information-flow security for JavaScript and its APIs
Value Sensitivity and Observable Abstract Values for Information Flow Control
Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language
JSFlow: Tracking Information Flow in JavaScript and its APIs
SeLINQ: Tracking information across application-database boundaries
Architectures for Inlining Security Monitors in Web Application
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing
Information-flow security for a core of JavaScript
A Perspective on Information-Flow Control
Cryptographically-Masked Flows
Abstract Interpretation Plugins for Type Systems
Cryptographically-Masked Flows
Noninterference in the presence of non-opaque pointers
Timing Aware Information Flow Security for a JavaCard-like Bytecode
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här: