1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2026
Detecting Avalanche Effect in Adversarial Settings: Spotting the Encryption Loops in Ransomware
Nanqing Luo, Xusheng Li, Haizhou Wang +3
Spotting encryption loops in binary-only ransomware is a critical reverse engineering task. Since the existence of avalanche effect, an intrinsic characteristic of any secure encry…
cs.LG2024★ 1 cited
Towards Independence Criterion in Machine Unlearning of Features and Labels
Ling Han, Nanqing Luo, Hao Huang +2
This work delves into the complexities of machine unlearning in the face of distributional shifts, particularly focusing on the challenges posed by non-uniform feature and label re…
cs.CR2023
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen +3
Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…