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
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 2.

Conference or Workshop Item (A Paper)

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).

Article

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.

This list was generated on Tue Apr 23 16:19:05 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.