-
to develop innovative methods and actionable tools for detecting, analyzing, and preventing vulnerabilities in supply chain systems, leveraging state-of-the-art AI and ML techniques to improve overall security
-
Analyze and assess risks of de-anonymization, including researching current de-anonymization strategies Investigate synthetic data generation methods and their utility Deploying and benchmarking the above
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions