-
Verification of $K$- and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions
arXiv:2609.01192v1 Announce Type: cross Abstract: Anonymity is an information flow property that provides privacy protection in the sense of non-uniqueness of system information at certain moments with respect to observations. The notion of $K$-step anonymity in the context of discrete-event…Read more
Published: 5 hours ago | Source: cs.CR updates on arXiv.org
-
Lacan: Making Accountability in Anonymous Networks Real
arXiv:2609.01075v1 Announce Type: cross Abstract: Anonymity and accountability are essential properties for our everyday activity on the Internet. However, they appear contradictory, and their reconciliation remains far from reality. Existing approaches fall short in this regard, as they either rely…Read more
Published: 5 hours ago | Source: cs.CR updates on arXiv.org
-
Efficient Learning of Balanced Signed Graphs via Sparse Linear Programming
arXiv:2506.01826v2 Announce Type: replace-cross Abstract: Signed graphs are equipped with both positive and negative edge weights, encoding pairwise correlations as well as anti-correlations in data. A balanced signed graph is a signed graph with no cycles containing an odd number…Read more
Published: 5 hours ago | Source: eess.SP updates on arXiv.org
-
Analog-DB: An Agent-First Analog Integrated Circuit Database, From Blocks to Systems
arXiv:2609.01286v1 Announce Type: cross Abstract: Sharing analog integrated circuit designs remains difficult: foundry non-disclosure agreements restrict the process details a design depends on, and the testbenches behind published results are rarely released. We present analog-db, an open-source, versioned database built…Read more
Published: 5 hours ago | Source: eess.SP updates on arXiv.org
-
Space Generative AI with Solar Energy Harvesting
arXiv:2609.01062v1 Announce Type: cross Abstract: Satellites are emerging as promising platforms to extend generative emph{artificial intelligence} (AI) services to remote areas lacking terrestrial infrastructure. However, deploying space generative AI is fundamentally constrained by the limited, time-varying onboard energy supplied by…Read more
Published: 5 hours ago | Source: eess.SP updates on arXiv.org
-
Structured Edge-Aware Graph Attention Network for Transmitter-Resolved Pointwise Radio Map Estimation
arXiv:2604.17414v2 Announce Type: replace Abstract: Transmitter-resolved radio map estimation (RME) from sparse measurements is essential for obtaining source-specific received-power information in wireless networks. This paper proposes SeaGAT, a Structured Edge-Aware Graph Attention Network for transmitter-resolved pointwise RME. For each target--transmitter…Read more
Published: 5 hours ago | Source: eess.SP updates on arXiv.org
-
Sparse Based Super Resolution Multilayer Ultrasonic Array Imaging
arXiv:2007.15691v3 Announce Type: replace Abstract: In this paper, we model the signal propagation effect in ultrasonic imaging using Huygens principle and use this model to develop sparse signal representation based imaging techniques for a two-layer object immersed in water. Relying…Read more
Published: 5 hours ago | Source: eess.SP updates on arXiv.org
-
Verifiable quantum advantage in extremely low depth
arXiv:2609.01448v1 Announce Type: cross Abstract: We give a sampling problem that is solvable by shallow quantum circuits, hard for polynomial-time classical algorithms under lattice-based assumptions, and efficiently verifiable by a classical computer. The quantum sampler admits two implementations: one uses…Read more
Published: 5 hours ago | Source: cs.CR updates on arXiv.org
-
A Chinese Humanoid-Robot Maker’s Shanghai IPO Surged About 500% After a New “Superman” Demo
Unitree’s shares jumped about 500% in their Shanghai Stock Exchange debut after the Hangzhou humanoid-robot maker showcased its new “Superman” model. The stock opened up as much as 629% and traded around 883.87 yuan, up from an IPO price of…Read more
Published: 6 hours ago | Source: Bitcoin News
-
Binance Pushes Into Wall Street, Adds Options on 1,000+ US Stocks
Binance is expanding beyond crypto with physically settled options tied to more than 1,000 U.S. stocks and ETFs for eligible users outside the country. The launch comes as traditional-asset trading on the exchange has surged this year. US Traders Excluded…Read more
Published: 7 hours ago | Source: Bitcoin News
