| Security-policy monitoring and enforcement with JavaMOP S Hussein, P Meredith, G Roşlu Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012 | 26 | 2012 |
| Java Ranger: Statically summarizing regions for efficient symbolic execution of Java V Sharma, S Hussein, MW Whalen, S McCamant, W Visser Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 22 | 2020 |
| Java Ranger at SV-COMP 2020 (competition contribution) V Sharma, S Hussein, MW Whalen, S McCamant, W Visser International Conference on Tools and Algorithms for the Construction and …, 2020 | 18 | 2020 |
| Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) S Hussein, Q Yan, S McCamant, V Sharma, MW Whalen International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
| Counterexample-guided inductive repair of reactive contracts S Hussein, S Rayadurgam, S McCamant, V Sharma, M Heimdahl Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022 | 1 | 2022 |
| Generator-Based Fuzzers with Type-Based Targeted Mutation S Hussein, S McCamant, M Whalen arXiv preprint arXiv:2406.02034, 2024 | | 2024 |
| Scaling Java Program Analysis and Testing Techniques SMNA Hussein University of Minnesota, 2024 | | 2024 |
| Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution S Hussein, S McCamant, E Sherman, V Sharma, M Whalen 2023 IEEE/ACM International Conference on Automation of Software Test (AST …, 2023 | | 2023 |
| Counterexample-guided inductive repair of reactive contracts S Hussein, V Sharma, S McCamant, S Rayadurgam, M Heimdahl 36th IEEE/ACM International Conference on Automated Software Engineering …, 2021 | | 2021 |
| Enabling Efficient Secure Multiparty Computation Development in ANSI C A Musleh, S Hussein, KM Khan, QM Malluhi Qatar Foundation Annual Research Conference Proceedings Volume 2018 Issue 3 …, 2018 | | 2018 |
| An Authorization Model For The Web Programming Language Qwel LA El-Matbouly, T Sans, S Hussein | | 2013 |
| Controlling Data Flow with a Policy-Based Programming Language for the Web T Sans, I Cervesato, S Hussein Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat …, 2013 | | 2013 |
| Finite State Transducers Framework for Monitors Conflict Detection and Resolution S Hussein International Conference on Computer Science and Information Technology, 112-123, 2012 | | 2012 |
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaVerified email at umn.edu
