Security-policy monitoring and enforcement with JavaMOP. - Soha Hussein; Patrick O'Neil Meredith; Grigore Rosu (PLAS, 2012)

Controlling Data Flow with a Policy-Based Programming Language for the Web. - Thierry Sans; Iliano Cervesato; Soha Hussein (NordSec, 2013)

Java Ranger: statically summarizing regions for efficient symbolic execution of Java. - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (ESEC/SIGSOFT FSE, 2020)

Java Ranger at SV-COMP 2020 (Competition Contribution). - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (TACAS (2), 2020)

Counterexample Guided Inductive Repair of Reactive Contracts. - Soha Hussein; Vaibhav Sharma 001; Stephen McCamant; Sanjai Rayadurgam; Mats Per Erik Heimdahl (ASE, 2021)

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. - Soha Hussein; Stephen McCamant; Elena Sherman; Vaibhav Sharma 001; Mike Whalen (AST, 2023)

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). - Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma 001; Michael W. Whalen (TACAS (2), 2023)

Generator-Based Fuzzers with Type-Based Targeted Mutation. - Soha Hussein; Stephen McCamant; Mike Whalen (CoRR, 2024)