English
Related papers

Related papers: Efficient Black-box Checking of Snapshot Isolation…

200 papers

Stepping-stone intrusions (SSIs) are a prevalent network evasion technique in which attackers route sessions through chains of compromised intermediate hosts to obscure their origin. Effective SSI detection requires correlating the incoming…

Cryptography and Security · Computer Science 2026-04-13 Nate Mathews , Nicholas Hopper , Matthew Wright

Power Side-Channel (PSC) attacks exploit power consumption patterns to extract sensitive information, posing risks to cryptographic operations crucial for secure systems. Traditional countermeasures, such as masking, face challenges…

Cryptography and Security · Computer Science 2025-06-11 Amisha Srivastava , Samit S. Miftah , Hyunmin Kim , Debjit Pal , Kanad Basu

Despite its broad practical applications such as in fraud prevention, open-set speaker identification (OSI) has received less attention in the speaker recognition community compared to speaker verification (SV). OSI deals with determining…

Audio and Speech Processing · Electrical Eng. & Systems 2023-07-04 Raghuveer Peri , Seyed Omid Sadjadi , Daniel Garcia-Romero

We present novel soft-input soft-output (SISO) multiple-input multiple-output (MIMO) detectors based on the Chase detection principle [1] in the context of iterative and decoding (IDD). The proposed detector complexity is linear in the…

Information Theory · Computer Science 2015-06-22 Ahmad Gomaa , Louay Jalloul

We present a novel method for accurately auditing the differential privacy (DP) guarantees of DP mechanisms. In particular, our solution is applicable to auditing DP guarantees of machine learning (ML) models. Previous auditing methods…

Machine Learning · Computer Science 2026-01-14 Antti Koskela , Jafar Mohammadi

The re-identification or de-anonymization of users from anonymized data through matching with publicly available correlated user data has raised privacy concerns, leading to the complementary measure of obfuscation in addition to…

Information Theory · Computer Science 2023-10-26 Serhat Bakirtas , Elza Erkip

Rare-event simulation techniques, such as importance sampling (IS), constitute powerful tools to speed up challenging estimation of rare catastrophic events. These techniques often leverage the knowledge and analysis on underlying system…

Methodology · Statistics 2021-11-04 Mansur Arief , Yuanlu Bai , Wenhao Ding , Shengyi He , Zhiyuan Huang , Henry Lam , Ding Zhao

Capsule Networks have shown encouraging results on \textit{defacto} benchmark computer vision datasets such as MNIST, CIFAR and smallNORB. Although, they are yet to be tested on tasks where (1) the entities detected inherently have more…

Machine Learning · Statistics 2018-05-21 James O' Neill

Sparse learning techniques have been routinely used for feature selection as the resulting model usually has a small number of non-zero entries. Safe screening, which eliminates the features that are guaranteed to have zero coefficients for…

Machine Learning · Computer Science 2014-05-13 Jun Liu , Zheng Zhao , Jie Wang , Jieping Ye

Movement disorder diagnosis often relies on expert evaluation of patient videos, but sharing these videos poses privacy risks. Current methods for de-identifying videos, such as blurring faces, are often manual, inconsistent, or inaccurate.…

Computer Vision and Pattern Recognition · Computer Science 2025-07-21 Rishabh Bajpai , Bhooma Aravamuthan

Intrusion detection has been a commonly adopted detective security measures to safeguard systems and networks from various threats. A robust intrusion detection system (IDS) can essentially mitigate threats by providing alerts. In networks…

Cryptography and Security · Computer Science 2024-11-06 Maraz Mia , Mir Mehedi A. Pritom , Tariqul Islam , Kamrul Hasan

We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an uncertain log (with noisy and missing samples), as well as a…

Systems and Control · Electrical Eng. & Systems 2024-07-25 Bineet Ghosh , Étienne André

Snapshot compressed sensing (CS) refers to compressive imaging systems in which multiple frames are mapped into a single measurement frame. Each pixel in the acquired frame is a noisy linear mapping of the corresponding pixels in the frames…

Information Theory · Computer Science 2019-04-30 Shirin Jalali , Xin Yuan

In industrial anomaly detection (IAD), accurately identifying defects amidst diverse anomalies and under varying imaging conditions remains a significant challenge. Traditional approaches often struggle with high false-positive rates,…

Computer Vision and Pattern Recognition · Computer Science 2025-03-04 Yurui Pan , Lidong Wang , Yuchao Chen , Wenbing Zhu , Bo Peng , Mingmin Chi

Differential privacy (DP) enables safe data release, with synthetic data generation emerging as a common approach in recent years. Yet standard synthesizers preserve all dependencies in the data, including spurious correlations between…

Databases · Computer Science 2026-03-26 Naeim Ghahramanpour , Mostafa Milani

Digital pathology offers a groundbreaking opportunity to transform clinical practice in histopathological image analysis, yet faces a significant hurdle: the substantial file sizes of pathological Whole Slide Images (WSI). While current…

Synthetic aperture imaging (SAI) is able to achieve the see through effect by blurring out the off-focus foreground occlusions and reconstructing the in-focus occluded targets from multi-view images. However, very dense occlusions and…

Computer Vision and Pattern Recognition · Computer Science 2021-03-31 Xiang Zhang , Wei Liao , Lei Yu , Wen Yang , Gui-Song Xia

Sparse system identification is the data-driven process of obtaining parsimonious differential equations that describe the evolution of a dynamical system, balancing model complexity and accuracy. There has been rapid innovation in system…

Machine Learning · Computer Science 2023-02-22 Alan A. Kaptanoglu , Lanyue Zhang , Zachary G. Nicolaou , Urban Fasel , Steven L. Brunton

In this work, we introduce a new smoothness indicator (SI), which is capable of detecting ``rough'' parts of the solutions computed by active flux (AF) methods for hyperbolic (systems of) conservation laws. The new SI is based on measuring…

Numerical Analysis · Mathematics 2025-05-05 Alina Chertock , Alexander Kurganov , Lorenzo Micalizzi

Psoriasis is a complex disease with many variations in genotype and phenotype. General advancements in medicine has further complicated both assessments and treatment for both physicians and dermatologist alike. Even with all of our…

Computer Vision and Pattern Recognition · Computer Science 2020-09-30 Arman Garakani , Martin Malmstedt-Miller , Ionela Manole , Adrian Y. Rossler , John R. Zibert