secure

security

Title: Detecting and Characterizing Propagation of Security Weaknesses in Puppet-based Infrastructure Management. (arXiv:2208.01242v1 [cs.CR])

Title: Security Requirement Analysis of Blockchain-based E-Voting Systems. (arXiv:2208.01277v1 [cs.CR])

Title: A replication of a controlled experiment with two STRIDE variants. (arXiv:2208.01524v1 [cs.CR])

privacy

Title: Dyadic Movement Synchrony Estimation Under Privacy-preserving Conditions. (arXiv:2208.01100v1 [cs.CV])

Title: A Feasibility Study on Image Inpainting for Non-cleft Lip Generation from Patients with Cleft Lip. (arXiv:2208.01149v1 [cs.CV])

Title: Pose Uncertainty Aware Movement Synchrony Estimation via Spatial-Temporal Graph Transformer. (arXiv:2208.01161v1 [cs.CV])

Title: On the Evaluation of User Privacy in Deep Neural Networks using Timing Side Channel. (arXiv:2208.01113v1 [cs.CR])

Title: A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges. (arXiv:2208.01263v1 [cs.CR])

Title: Efficient Personalized Learning for Wearable Health Applications using HyperDimensional Computing. (arXiv:2208.01095v1 [cs.LG])

Title: A Multifaceted Benchmarking of Synthetic Electronic Health Record Generation Models. (arXiv:2208.01230v1 [cs.LG])

Title: Short-term Load Forecasting with Distributed Long Short-Term Memory. (arXiv:2208.01147v1 [cs.LG])

protect

Title: A Turning Point for Verified Spectre Sandboxing. (arXiv:2208.01548v1 [cs.CR])

In our work, we develop principled foundations to build isolated environments resistant against Spectre attacks. We propose a formal framework for reasoning about sandbox execution and Spectre attacks. We formalize properties that sound mitigation strategies must fulfill and we show how various existing mitigations satisfy (or fail to satisfy!) these properties.

defense

attack

Title: SCFI: State Machine Control-Flow Hardening Against Fault Attacks. (arXiv:2208.01356v1 [cs.CR])

In this paper, we present SCFI: a strong, probabilistic FSM protection mechanism ensuring that control-flow deviations from the intended control-flow are detected even in the presence of multiple faults. At its core, SCFI consists of a hardened next-state function absorbing the execution history as well as the FSM's control signals to derive the next state. When either the absorbed inputs, the state registers, or the function itself are affected by faults, SCFI triggers an error with no detection latency. We integrate SCFI into a synthesis tool capable of automatically hardening arbitrary unprotected FSMs without user interaction and open-source the tool. Our evaluation shows that SCFI provides strong protection guarantees with a better area-time product than FSMs protected using classical redundancy-based approaches. Finally, we formally verify the resilience of the protected state machines using a pre-silicon fault analysis tool.

Title: Improvement of algebraic attacks for solving superdetermined MinRank instances. (arXiv:2208.01442v1 [cs.CR])

robust

Title: Ithaca365: Dataset and Driving Perception under Repeated and Challenging Weather Conditions. (arXiv:2208.01166v1 [cs.CV])

Title: MV6D: Multi-View 6D Pose Estimation on RGB-D Frames Using a Deep Point-wise Voting Network. (arXiv:2208.01172v1 [cs.CV])

Title: A Robust Morphological Approach for Semantic Segmentation of Very High Resolution Images. (arXiv:2208.01254v1 [cs.CV])

Title: Unified Normalization for Accelerating and Stabilizing Transformers. (arXiv:2208.01313v1 [cs.CV])

Title: UnrealEgo: A New Dataset for Robust Egocentric 3D Human Motion Capture. (arXiv:2208.01633v1 [cs.CV])

Title: Compound Density Networks for Risk Prediction using Electronic Health Records. (arXiv:2208.01320v1 [cs.LG])

biometric

steal

extraction

Title: GaitGL: Learning Discriminative Global-Local Feature Representations for Gait Recognition. (arXiv:2208.01380v1 [cs.CV])

Title: Joint Learning-based Causal Relation Extraction from Biomedical Literature. (arXiv:2208.01316v1 [cs.CL])

Title: PyABSA: Open Framework for Aspect-based Sentiment Analysis. (arXiv:2208.01368v1 [cs.CL])

Title: EBOCA: Evidences for BiOmedical Concepts Association Ontology. (arXiv:2208.01093v1 [cs.AI])

Title: Physics-informed Deep Super-resolution for Spatiotemporal Data. (arXiv:2208.01462v1 [cs.LG])

membership infer

federate

Title: Mitigating Biases in Student Performance Prediction via Attention-Based Personalized Federated Learning. (arXiv:2208.01182v1 [cs.LG])

fair

Title: Explicit Use of Fourier Spectrum in Generative Adversarial Networks. (arXiv:2208.01265v1 [cs.CV])

Title: CIPCaD-Bench: Continuous Industrial Process datasets for benchmarking Causal Discovery methods. (arXiv:2208.01529v1 [cs.LG])

Title: The Curse of Low Task Diversity: On the Failure of Transfer Learning to Outperform MAML and Their Empirical Equivalence. (arXiv:2208.01545v1 [cs.LG])

interpretability

Title: ferret: a Framework for Benchmarking Explainers on Transformers. (arXiv:2208.01575v1 [cs.CL])

Title: Interpretable Time Series Clustering Using Local Explanations. (arXiv:2208.01152v1 [cs.LG])

exlainability

watermark