Microsoft

AI as tradecraft: How threat actors operationalize AI

Threat actors are operationalizing AI to scale and sustain malicious activity, accelerating tradecraft and increasing risk for defenders, as illustrated by recent activity from North Korean groups ...
IEEE

A Static Modeling Method Considering Friction for the Shape Prediction or Force Sensing of Concentric Cable-Driven Manipulators

Abstract: Owing to the flexibility and redundancy, concentric cable-driven manipulators are widely used in confined space applications. However, it is challenging to establish shape prediction or ...
IEEE

ACE: A Static Android Malware Detection Method Based on Supervised Contrastive Learning

Abstract: Smart and mobile devices are essential components of the Internet of Things (IoT) ecosystems, facilitating connectivity and automation across various domains. Due to its flexibility, the ...
GitHub

Experiment in generating unit tests and mocks for code containing static method calls

Open this folder in VS Code Click "Reopen in Container" when prompted (or use Command Palette: "Dev Containers: Reopen in Container") Wait for container to build and install dependencies ...
Semiconductor Engineering

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

“Modern system-on-chips (SoCs) are becoming prone to numerous security vulnerabilities due to their ever-growing complexity and size. Therefore, a comprehensive security verification framework is ...