3 papers
cs.SE2021
SN4KE: Practical Mutation Testing at Binary Level
Mohsen Ahmadi, Pantea Kiaei, Navid Emamdoost
Mutation analysis is an effective technique to evaluate a test suite adequacy in terms of revealing unforeseen bugs in software. Traditional source- or IR-level mutation analysis i…
cs.SE2018
The Effect of Instruction Padding on SFI Overhead
Navid Emamdoost, Stephen McCamant
Software-based fault isolation (SFI) is a technique to isolate a potentially faulty or malicious software module from the rest of a system using instruction-level rewriting. SFI im…
cs.CR2017
Statistical Disclosure: Improved, Extended, and Resisted
Navid Emamdoost, Mohammad Sadeq Dousti, Rasool Jalili
Traffic analysis is a type of attack on secure communications systems, in which the adversary extracts useful patterns and information from the observed traffic. This paper improve…