Export 2 results:
Author Title Type [ Year
] Filters: Author is C. Hammer and First Letter Of Title is E [Clear All Filters]
, “Experiences with PDG-based IFC”, in Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010), 2010.
, “Efficient Algorithms for Control Closures”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.