Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Conference/Workshop Paper (2)

Value Sensitivity and Observable Abstract Values for Information Flow Control (Nov 2015)
Luciano Bello , Daniel Hedin, Andrei Sabelefeld
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'15)

Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language (Jul 2015)
Daniel Hedin, Luciano Bello , Andrei Sabelefeld
28th IEEE Computer Security Foundations Symposium (CSF'15)

Items per page: