Export 28 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is R [Clear All Filters]
, “Indistinguishable regions in Geographic Location Privacy”, in Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), 2012.
, “Model Checking Information Flow in Reactive Systems”, in Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
, “Monitoring Temporal Information Flow”, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012.