19 citations · 26 across the 5 of their papers we have counts for
1 paper · 1 filter
Michael Carl Tschantz, Amit Datta, Anupam Datta +1
Information flow analysis has largely ignored the setting where the analyst has neither control over nor a complete model of the analyzed system. We formalize such limited informat…