English
Related papers

Related papers: V'CER: Efficient Certificate Validation in Constra…

200 papers

The recent introduction of vector coded caching has revealed that multi-rank transmissions in the presence of receiver-side cache content can dramatically ameliorate the file-size bottleneck of coded caching and substantially boost…

Information Theory · Computer Science 2022-02-16 Hui Zhao , Antonio Bazco-Nogueras , Petros Elia

Neural networks are vulnerable to adversarial attacks, i.e., small input perturbations can significantly affect the outputs of a neural network. Therefore, to ensure safety of neural networks in safety-critical environments, the robustness…

Machine Learning · Computer Science 2025-08-06 Lukas Koller , Tobias Ladner , Matthias Althoff

Clustering algorithms have significantly improved along with Deep Neural Networks which provide effective representation of data. Existing methods are built upon deep autoencoder and self-training process that leverages the distribution of…

Computer Vision and Pattern Recognition · Computer Science 2021-09-17 Xin Ma , Won Hwa Kim

This paper proposes a new approximation algorithm for the offline Virtual Network Embedding Problem (VNEP) with latency constraints. Given is a set of virtual networks with computational demands on nodes and bandwidth demands together with…

Networking and Internet Architecture · Computer Science 2021-04-20 Robin Münk , Matthias Rost , Stefan Schmid , Harald Räcke

The development of Intelligent Cyber-Physical Systems (ICPSs) in virtual network environment is facing severe challenges. On the one hand, the Internet of things (IoT) based on ICPSs construction needs a large amount of reasonable network…

Cryptography and Security · Computer Science 2022-02-04 Peiying Zhang , Chao Wang , Chunxiao Jiang , Neeraj Kumar , Qinghua Lu

Assessing small-signal stability of power systems composed of thousands of interacting generators is a computationally challenging task. To reduce the computational burden, this paper introduces a novel condition to assess and certify…

Systems and Control · Electrical Eng. & Systems 2021-03-30 Amin Gholami , Xu Andy Sun

We study the space complexity of computing a sparse subgraph of a directed graph that certifies connectivity in the streaming and distributed models. Formally, for a directed graph $G=(V,A)$ and $k\in \mathbb{N}$, a $k$-node strong…

Data Structures and Algorithms · Computer Science 2026-02-16 Ho-Lin Chen , Tsun Ming Cheung , Peng-Ting Lin , Meng-Tsung Tsai

Patch robustness certification is an emerging kind of defense technique against adversarial patch attacks with provable guarantees. There are two research lines: certified recovery and certified detection. They aim to label malicious…

Software Engineering · Computer Science 2024-05-14 Qilin Zhou , Zhengyuan Wei , Haipeng Wang , Bo Jiang , W. K. Chan

Software security is becoming a high priority for both large companies and start-ups alike due to the increasing potential for harm that vulnerabilities and breaches carry with them. However, attaining robust security assurance while…

Software Engineering · Computer Science 2019-08-06 David N. Palacio , Daniel McCrystal , Kevin Moran , Carlos Bernal-Cárdenas , Denys Poshyvanyk , Chris Shenefiel

Neural networks have become increasingly popular in controller design due to their versatility and efficiency. However, their integration into feedback systems can pose stability challenges, particularly in the presence of uncertainties.…

Optimization and Control · Mathematics 2025-03-04 Yuhao Zhang , Xiangru Xu

Large MIMO systems rely on efficient downlink precoding to enhance data rates and improve connectivity through spatial multiplexing. However, currently employed linear precoding techniques, such as MMSE, significantly limit the achievable…

Signal Processing · Electrical Eng. & Systems 2026-02-13 Thomas James Thomas , George N. Katsaros , Chathura Jayawardena , Konstantinos Nikitopoulos

In this paper, we address the problem of controlling a system over an unreliable connection that is affected by time-varying delays and randomly occurring packet losses. A novel sequence-based approach is proposed that extends a given…

Systems and Control · Computer Science 2012-06-13 Achim Hekler , Jörg Fischer , Uwe D. Hanebeck

Point-to-multipoint communications are expected to play a pivotal role in next-generation networks. This paper refers to a cellular system transmitting layered multicast services to a multicast group of users. Reliability of communications…

Information Theory · Computer Science 2016-11-17 Andrea Tassi , Ioannis Chatzigeorgiou , Daniel E. Lucani

Data-driven deep learning approaches to image registration can be less accurate than conventional iterative approaches, especially when training data is limited. To address this whilst retaining the fast inference speed of deep learning, we…

Computer Vision and Pattern Recognition · Computer Science 2024-10-28 Xi Jia , Alexander Thorley , Wei Chen , Huaqi Qiu , Linlin Shen , Iain B Styles , Hyung Jin Chang , Ales Leonardis , Antonio de Marvao , Declan P. O'Regan , Daniel Rueckert , Jinming Duan

The integration of Voice Control Systems (VCS) into smart devices and their growing presence in daily life accentuate the importance of their security. Current research has uncovered numerous vulnerabilities in VCS, presenting significant…

Cryptography and Security · Computer Science 2024-05-28 Haozhe Xu , Cong Wu , Yangyang Gu , Xingcan Shang , Jing Chen , Kun He , Ruiying Du

Recent advances in Low-Power Wide-Area Networks have mitigated interference by using cloud assistance. Those methods transmit the RSSI samples and corrupted packets to the cloud to restore the correct message. However, the effectiveness of…

Networking and Internet Architecture · Computer Science 2021-09-14 Luoyu Mei , Zhimeng Yin , Xiaolei Zhou , Shuai Wang , Kai Sun

Practical repeaterless quantum communication (PRQC) is constrained by the divergence of quantum bit error rate (QBER) arising from the interplay between channel loss and single-photon detector (SPD) dark counts. As the channel transmission…

Quantum Physics · Physics 2026-05-13 Hao Shu

The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth,…

Networking and Internet Architecture · Computer Science 2022-08-01 Joao Paulo de Brito Goncalves , Gustavo Alochio , Rodolfo da Silva Villaca , Roberta Lima Gomes

The proliferation of cloud data center applications and network function virtualization (NFV) boosts dynamic and QoS dependent traffic into the data centers network. Currently, lots of network routing protocols are requirement agnostic,…

The use of codes defined by sparse characteristic matrices, like QC-LDPC and QC-MDPC codes, has become an established solution to design secure and efficient code-based public-key encryption schemes, as also witnessed by the ongoing NIST…

Cryptography and Security · Computer Science 2022-05-26 Marco Baldi , Franco Chiaraluce , Paolo Santini