Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 7 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name is R  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
R
M. N. Rabe, Lammich, P., and Popescu, A., “A shallow embedding of HyperCTL”, Archive of Formal Proofs, 2014.
W. Rafnsson, Sabelfeld, A., and Garg, D., “Progress-Sensitive Security for SPARK”, in Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
V. Rajani, Bichhawat, A., Gark, D., and Hammer, C., “Information Flow Control for Event Handling and the DOM in Web Browsers”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.
V. Rajani, Garg, D., and Rezk, T., “On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks”, in Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF), 2016.
V. Rajani, Bastys, I., Rafnsson, W., and Garg, D., “Type Systems for Information Flow Control: The Question of Granularity”, ACM SIGLOG News, vol. 4, no. 1, 2017.
S. Rasthofer, Arzt, S., and Bodden, E., “A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks”, Proceedings of the Network and Distributed System Security Symposium (NDSS 2014), 2014.
S. Rasthofer, Arzt, S., Lovat, E., and Bodden, E., “DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android”, in Proceedings of the 9th International IEEE Conference on Availability, Reliability and Security (ARES 2014), 2014.