GitHub

The Lian Program Analysis Framework

Lian is a next-generation, high-precision program analysis framework designed for multi-language environments. It aims to deliver unified and powerful program analysis capabilities across diverse ...

Forget 'debloat apps.' Sophia Script gives you real control over Windows 11. Here's how it works.

The Sophia Script is an open-source PowerShell module designed to debloat and fine-tune Windows 11 (and Windows 10 ). It is ...
Microsoft

Developer-targeting campaign using malicious Next.js repositories

A developer-targeting campaign leveraged malicious Next.js repositories to trigger a covert RCE-to-C2 chain through standard ...
IEEE

JasFree: Grammar-free Program Analysis for JavaScript Bytecode

Abstract: JavaScript is rapidly being deployed as binaries in security-critical embedded domains, including IoT devices, edge computing, and smart automotive applications. Ensuring the security of ...
IEEE

Set Stabilization and Robust Set Stabilization of Periodically Time-Varying Boolean Control Networks

Abstract: This paper investigates set stabilization and robust set stabilization of periodically time-varying Boolean control networks (PTVBCNs) by combining state-flipping mechanism and state ...