English
Related papers

Related papers: Verifying Weak and Strong k-Step Opacity in Discre…

200 papers

To counter software reverse engineering or tampering, software obfuscation tools can be used. However, such tools to a large degree hard-code how the obfuscations are deployed. They hence lack resilience and stealth in the face of many…

Cryptography and Security · Computer Science 2020-12-24 Jens Van den Broeck , Bart Coppens , Bjorn De Sutter

Password authentication is a weak point for security as passwords are easily stolen and a user may ignore the security by using a simple password. Therefore, services increasingly demand a second factor. While this may enhance security, it…

Cryptography and Security · Computer Science 2024-07-24 Anastasia Dimaratos , Daniela Pöhn

A previously unknown form of compromising emanations has been discovered. LED status indicators on data communication equipment, under certain conditions, are shown to carry a modulated optical signal that is significantly correlated with…

Cryptography and Security · Computer Science 2023-07-17 Joe Loughry , David A. Umphress

Different observers do not have to agree on how they identify a quantum system. We explore a condition based on algorithmic complexity that allows a system to be described as an objective "element of reality". We also suggest an…

Quantum Physics · Physics 2011-03-25 Alexei Grinbaum

We analyze the achievable limits of the quantum information processing of the weak interaction revealed by hyperons with spin. We find that the weak decay process corresponds to an interferometric device with a fixed visibility and fixed…

Quantum Physics · Physics 2015-08-13 B. C. Hiesmayr

Self-stabilization is a strong property that guarantees that a network always resume correct behavior starting from an arbitrary initial state. Weaker guarantees have later been introduced to cope with impossibility results: probabilistic…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-09-29 Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita

Genuine steering is still not well understood enough in contrast to genuine entanglement and nonlocality. Here we provide a protocol which can reveal genuine steering under some restricted operations compared to the existing witnesses of…

Current quantum computer technology is sufficient to realize weak measurements and the corresponding concept of weak values. We demonstrate how the weak value anomaly can be tested, along with consistency and simultaneity of weak values,…

Quantum Physics · Physics 2010-02-20 Todd A. Brun , Lajos Diosi , Walter T. Strunz

In this note we propose and analyze novel implicit-explicit methods based on second order strong stability preserving multistep time discretizations. Several schemes are developed, and a linear stability analysis is performed to study their…

Numerical Analysis · Mathematics 2025-10-20 Thor Gjesdal

Quantum technologies hold the promise of not only faster algorithmic processing of data, via quantum computation, but also of more secure communications, in the form of quantum cryptography. In recent years, a number of protocols have…

Quantum Physics · Physics 2016-12-01 Joseph F. Fitzsimons

We propose `Hide-and-Seek', a weakly-supervised framework that aims to improve object localization in images and action localization in videos. Most existing weakly-supervised methods localize only the most discriminative parts of an object…

Computer Vision and Pattern Recognition · Computer Science 2017-12-27 Krishna Kumar Singh , Yong Jae Lee

We initiate a study of algorithms with a focus on the computational complexity of individual elements, and introduce the fragile complexity of comparison-based algorithms as the maximal number of comparisons any individual element takes…

Data Structures and Algorithms · Computer Science 2019-09-04 Peyman Afshani , Rolf Fagerberg , David Hammer , Riko Jacob , Irina Kostitsyna , Ulrich Meyer , Manuel Penschuck , Nodari Sitchinava

We review and generalize the recently introduced framework of entropy vectors for detecting and quantifying genuine multipartite entanglement in high dimensional multicomponent quantum systems. We show that these ideas can be extended to…

Quantum Physics · Physics 2013-10-22 Marcus Huber , Martí Perarnau-Llobet , Julio I. de Vicente

We investigate four key issues with using a nonzero weak value of the spatial projection operator to infer the past path of an individual quantum particle. First, we note that weak measurements disturb a system, so any approach relying on…

Quantum Physics · Physics 2023-04-25 Jonte R. Hance , John Rarity , James Ladyman

The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-state automata (FSAs). There exist results for decentralized…

Optimization and Control · Mathematics 2020-02-14 Kuize Zhang

Despite significant advances, deep networks remain highly susceptible to adversarial attack. One fundamental challenge is that small input perturbations can often produce large movements in the network's final-layer feature space. In this…

Machine Learning · Computer Science 2023-04-20 Maria-Florina Balcan , Avrim Blum , Dravyansh Sharma , Hongyang Zhang

We focus on determining the separability of an unknown bipartite quantum state $\rho$ by invoking a sufficiently large subset of all possible entanglement witnesses given the expected value of each element of a set of mutually orthogonal…

Quantum Physics · Physics 2009-11-13 Lawrence M. Ioannou , Benjamin C. Travaglione

Event cameras respond to scene dynamics and offer advantages to estimate motion. Following recent image-based deep-learning achievements, optical flow estimation methods for event cameras have rushed to combine those image-based methods…

Computer Vision and Pattern Recognition · Computer Science 2024-03-05 Shintaro Shiba , Yoshimitsu Aoki , Guillermo Gallego

Selecting a subset of the $k$ "best" items from a dataset of $n$ items, based on a scoring function, is a key task in decision-making. Given the rise of automated decision-making software, it is important that the outcome of this process,…

Databases · Computer Science 2026-03-31 Guangya Cai

Transparent authentication (TA) schemes are those in which a user is authenticated by a verifier without requiring explicit user interaction. By doing so, those schemes promise high usability and security simultaneously. The majority of TA…

Cryptography and Security · Computer Science 2017-03-30 Mika Juuti , Christian Vaas , Ivo Sluganovic , Hans Liljestrand , N. Asokan , Ivan Martinovic
‹ Prev 1 8 9 10 Next ›