Prati
Soha Hussein
Soha Hussein
Lecturer at the University of Minnesota
Potvrđena adresa e-pošte na umn.edu
Naslov
Citirano
Citirano
Godina
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
252012
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
172020
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
162020
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
12023
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
12022
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–11