Ali Shokri

Orcid: 0000-0002-9758-3091

Affiliations:
  • Rochester Institute of Technology, USA


According to our database1, Ali Shokri authored at least 11 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization.
Proc. ACM Program. Lang., 2024

IPSynth: Interprocedural Program Synthesis for Software Security Implementation.
CoRR, 2024

2023
Sound Call Graph Construction for Java Object Deserialization.
CoRR, 2023

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.
CoRR, 2023

A Novel Approach to Identify Security Controls in Source Code.
CoRR, 2023

2021
DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies.
CoRR, 2021

ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns.
CoRR, 2021

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns.
Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension, 2021

ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns.
Proceedings of the 18th IEEE International Conference on Software Architecture, 2021

2020
Towards Automated Evidence Generation for Rapid and Continuous Software Certification.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020


  Loading...