Search Results for author:
Found 5 papers, 1 papers with code
Leveraging AI Planning For Detecting Cloud Security Vulnerabilities
A planner can then generate attacks to identify such vulnerabilities in the cloud.
Using Constraint Programming and Graph Representation Learning for Generating Interpretable Cloud Security Policies
Modern software systems rely on mining insights from business sensitive data stored in public clouds.
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Aiming to make GNN improvements practical, this paper proposes an approach called NeuroBack, which builds on two insights: (1) predicting phases (i. e., values) of variables appearing in the majority (or even all) of the satisfying assignments are essential for CDCL SAT solving, and (2) it is sufficient to query the neural model only once for the predictions before the SAT solving starts.
Power-Based Attacks on Spatial DNN Accelerators
Spatial accelerators, that parallelize matrix/vector operations, are utilized for enhancing energy efficiency of DNN computation.
Emotion Detection using Image Processing in Python
Emotions possessed by humans can be recognized and has a vast scope of study in the computer vision industry upon which several researches have already been done.
