
Explore physical side-channel analysis attacks on deep neural networks, examining threat models, attack methodologies, and practical limitations for model extraction and input recovery on hardware accelerators.

Delve into the formalization of SNARK security proofs using the Lean theorem prover, exploring soundness verification methods for linear PCP-based constructions including Groth '16.

Delve into critical security vulnerabilities discovered in Eufy's IoT ecosystem through reverse engineering, revealing privacy risks and exploring countermeasures for smart home devices.

Explore how NSEC3 proof of non-existence in DNSSEC can be exploited to exhaust DNS resolver CPU resources, with detailed attack implementation and performance analysis.

Uncover critical privacy vulnerabilities in WhatsApp's multi-device implementation, exploring how device setup information leaks affect user security and the broader implications for E2EE messaging platforms.

Explore how multiple SMS senders can enhance location inference attacks through timing side channels, revealing improved accuracy and potential security vulnerabilities in mobile networks.

Black Hat Asia 2025