Items where Author is "Rafnsson, Willard"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Rajani, Vineet and Bastys, Iulia and Rafnsson, Willard and Garg, Deepak
(2017) Type systems for information flow control: the question of granularity.
SIGLOG News, 4 (1). 6–21.

Garg, Deepak and Rafnsson, Willard and Sabelfeld, Andrei
(2016) Progress-Sensitive Security for SPARK.
In: Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS '16).

This list was generated on Thu Apr 25 02:43:29 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.