Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Rubio-Medrano C, Kotak A, Wang W and Sohr K. Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. Proceedings of the 29th ACM Symposium on Access Control Models and Technologies. (105-116).

    https://doi.org/10.1145/3649158.3657032

  • Liu S, Ma W, Wang J, Xie X, Feng R and Liu Y. Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation. Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. (166-177).

    https://doi.org/10.1145/3652032.3657564

  • Wang P, Liu S, Liu A and Jiang W. (2024). Detecting security vulnerabilities with vulnerability nets. Journal of Systems and Software. 208:C. Online publication date: 1-Feb-2024.

    https://doi.org/10.1016/j.jss.2023.111902

  • Meng D, Guerriero M, Machiry A, Aghakhani H, Bose P, Continella A, Kruegel C and Vigna G. Bran: Reduce Vulnerability Search Space in Large Open Source Repositories by Learning Bug Symptoms. Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security. (731-743).

    https://doi.org/10.1145/3433210.3453115

  • Xiao Y, Chen B, Yu C, Xu Z, Yuan Z, Li F, Liu B, Liu Y, Huo W, Zou W and Shi W. MVP. Proceedings of the 29th USENIX Conference on Security Symposium. (1165-1182).

    /doi/10.5555/3489212.3489278

  • Du X, Chen B, Li Y, Guo J, Zhou Y, Liu Y and Jiang Y. Leopard. Proceedings of the 41st International Conference on Software Engineering. (60-71).

    https://doi.org/10.1109/ICSE.2019.00024

  • He S, Lahiri S and Rakamarić Z. (2018). Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Journal of Automated Reasoning. 60:1. (23-42). Online publication date: 1-Jan-2018.

    https://doi.org/10.1007/s10817-017-9421-9

  • He S, Lahiri S and Rakamarić Z. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Proceedings of the 8th International Symposium on NASA Formal Methods - Volume 9690. (237-254).

    https://doi.org/10.1007/978-3-319-40648-0_19

  • Hermann B, Reif M, Eichberg M and Mezini M. Getting to know you: towards a capability model for Java. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. (758-769).

    https://doi.org/10.1145/2786805.2786829