Artificial Intelligence and Machine learning Security

Artificial Intelligence and Machine learning Security:

1) Security and Privacy of Machine Learning Course taught by Prof. David Evans

2) CS620: New Trends in IT (Formal Methods in Machine Learning) Spring 2021 by Prof. Supratik Chakraborty

3) Reliable and Interpretable Artificial Intelligence by prof Martin Vechev

4) Machine Learning Security Short PhD seminar on Machine Learning Security (Adversarial Machine Learning)

4) Counterfit is a command-line tool and generic automation layer for assessing the security of machine learning systems by MICROSOFT

5) ATLAS - Adversarial Threat Landscape for Artificial-Intelligence Systems by MITRE

6) CS5030 - Automated Program Verification by Prof. Kartik Nagar

7) CS2200 - Languages, Machines and Computation by Prof. Kartik Nagar

8) CS 228 : Logic for computer science 2021 by Prof. Ashutosh Gupta and Prof. S. Krishna