Search Results - "Program Analysis for Machine Learning Models"

Verifiable Boosted Tree Ensembles

Authors: Calzavara S. Cazzaro L. Lucchese C. et al.

Source: 2025 IEEE Symposium on Security and Privacy (SP). :2057-2075

Subject Terms: Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Machine Learning and Security, Program Analysis for Machine Learning Models, Robustness, Verification, Statistics - Machine Learning

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.14988

Verifiable Learning for Robust Tree Ensembles

Authors: Calzavara S. Cazzaro L. Pibiri G. E. et al.

Source: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. :1850-1864

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Machine Learning and Security, Program Analysis for Machine Learning Models, Robustness, Verification, Statistics - Machine Learning, Verification and Program Analysis for Machine Learning Models, Machine Learning (stat.ML), Cryptography and Security (cs.CR), Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2305.03626

Program analysis for machine learning models

Authors: Usman, Muhammad (Ph. D. In Electrical And Computer Engineering) 0000-0001-5788-5784 Khurshid, Sarfraz et al.

Contributors: Usman, Muhammad (Ph. D. In Electrical And Computer Engineering) 0000-0001-5788-5784 Khurshid, Sarfraz et al.

Subject Terms: Machine learning, Program analysis, Neural networks

File Description: application/pdf

Uncovering Features in Kindred Programs Extended Abstract.

Authors: Fang-Hsiang Su

Source: ICSE: International Conference on Software Engineering; 2017, p477-478, 2p

Subject Terms: SOFTWARE engineering, COMPUTER software, COMPUTER programming, COMPUTER software development, TECHNOLOGY

Uncovering Features in Kindred Programs

Authors: Fang-Hsiang Su

Source: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C). :477-478

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dl.acm.org/citation.cfm?id=3098504
https://dblp.uni-trier.de/db/conf/icse/icse2017c.html#Su17
https://doi.org/10.1109/ICSE-C.2017.176
https://dl.acm.org/doi/10.1109/ICSE-C.2017.176
http://ieeexplore.ieee.org/document/7965392/
https://ieeexplore.ieee.org/document/7965392/

Graph Neural Networks: Foundations, Frontiers, and Applications

Authors: Lingfei Wu Peng Cui Jian Pei et al.

Resource Type: eBook.

Subjects: Neural networks (Computer science), Graph theory, Deep learning (Machine learning)

Categories: MATHEMATICS / Probability & Statistics / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Database Administration & Management, COMPUTERS / Data Science / Data Analytics

Anomaly Detection As a Service : Challenges, Advances, and Opportunities

Authors: Danfeng (Daphne) Yao Xiaokui Shu Long Cheng et al.

Resource Type: eBook.

Subjects: Data protection

Categories: COMPUTERS / Security / General