1 citations · 1 across the 6 of their papers we have counts for
3 papers · 1 filter
Following Dragons: Code Review-Guided Fuzzing
Viet Hoang Luu, Amirmohammad Pasdar, Wachiraphan Charoenwet +3
Modern fuzzers scale to large, real-world software but often fail to exercise the program states developers consider most fragile or security-critical. Such states are typically de…
UIXPOSE: Mobile Malware Detection via Intention-Behaviour Discrepancy Analysis
Amirmohammad Pasdar, Toby Murray, Van-Thuan Pham
We introduce UIXPOSE, a source-code-agnostic framework that operates on both compiled and open-source apps. This framework applies Intention Behaviour Alignment (IBA) to mobile mal…
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
Toby Murray, Mukesh Tiwari, Gidon Ernst +1
We consider the problem of specifying and proving the security of non-trivial, concurrent programs that intentionally leak information. We present a method that decomposes the prob…