I earned my Ph. Mohit Tiwari. I was also working closely with Prof. Sarfraz Khurshid. My research interests mainly lie in software security, automated reasoning, machine learning, and software engineering. Before Ph. John C. I received my bachelor's and master's degrees with honors from Xi'an Jiaotong University. Addressing privilege escalations in cloud access control configurations is crucial for improving security assurance for cloud customers. Alloy is a mature tool-set that provides first-order relational logic for writing specifications, and a fully automatic powerful backend for analyzing the specifications.
Symmetry breaking is a useful approach for pruning the search space to efficiently check the satisfiability of combinatorial problems. We present an approach called SymMC, which utilizes the symmetry information to improve the efficiency of model enumeration and counting for Alloy specifications. Access control is essential for the Operating System OS security. To solve this problem, we propose a precise, scalable hybrid analysis approach called ACHyb to detect KACVs due to missing or misusing permission checks.
Our project aims at automatically repairing severely incorrect programs given at least one reference program. This is achieved by conducting software refactoring on reference programs to generate diverse correct programs, which are then used to facilitate block-level patch synthesis.
Our approach has been applied to intelligent tutoring for programming education. Yang Hu Email: huyang utexas. Yang Hu huyang utexas. Elsevier, Apr. Elsevier, Sep. Featured Projects. Repairing Privilege Escalations in Cloud Access Control Addressing privilege escalations in cloud access control configurations is crucial for improving security assurance for cloud customers.
:max_bytes(150000):strip_icc()/postcoital-bleeding-3947657-5c6f2f0146e0fb0001076279.png "Teen girls in Austin")
Automated Program Repair for Introductory Programming Assignments Our project aims at automatically repairing severely incorrect programs given at least one reference program.
