3 citations · 3 across the 1 of their papers we have counts for
1 paper
Michael Backes, Robert Künnemann, Esfandiar Mohammadi
Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenge…