English
Related papers

Related papers: VeraSel: Verifiable Random Selection for Mixnets C…

200 papers

Material flow analyses (MFAs) provide insight into supply chain level opportunities for resource efficiency. MFAs can be represented as networks with nodes that represent materials, processes, sectors or locations. MFA network structure…

Applications · Statistics 2025-05-08 Jiankan Liao , Xun Huan , Daniel Cooper

Verifiable computing (VC) has gained prominence in decentralized machine learning systems, where resource-intensive tasks like deep neural network (DNN) inference are offloaded to external participants due to blockchain limitations. This…

Cryptography and Security · Computer Science 2025-05-26 Ali Rahimi , Babak H. Khalaj , Mohammad Ali Maddah-Ali

While deep reinforcement learning has successfully solved many challenging control tasks, its real-world applicability has been limited by the inability to ensure the safety of learned policies. We propose an approach to verifiable…

Machine Learning · Computer Science 2019-01-25 Osbert Bastani , Yewen Pu , Armando Solar-Lezama

Equity in real-world sequential decision problems can be enforced using fairness-aware methods. Therefore, we require algorithms that can make suitable and transparent trade-offs between performance and the desired fairness notions. As the…

Machine Learning · Computer Science 2025-09-29 Alexandra Cimpean , Nicole Orzan , Catholijn Jonker , Pieter Libin , Ann Nowé

While videos can be falsified in many different ways, most existing forensic networks are specialized to detect only a single manipulation type (e.g. deepfake, inpainting). This poses a significant issue as the manipulation used to falsify…

Computer Vision and Pattern Recognition · Computer Science 2025-03-28 Tai D. Nguyen , Matthew C. Stamm

In federated learning, multiple parties can cooperate to train the model without directly exchanging their own private data, but the gradient leakage problem still threatens the privacy security and model integrity. Although the existing…

Cryptography and Security · Computer Science 2025-11-18 Minjie Wang , Jinguang Han , Weizhi Meng

In this paper, we leverage predictive uncertainty of deep neural networks to answer challenging questions material scientists usually encounter in machine learning based materials applications workflows. First, we show that by leveraging…

Materials Science · Physics 2021-04-26 Jize Zhang , Bhavya Kailkhura , T. Yong-Jin Han

In this paper, we study the crucial elements of complex networks, namely nodes, and edges and their properties such as their community structure, which play an important role in dictating the robustness of the network towards structural…

Social and Information Networks · Computer Science 2021-02-04 V. Parimi , A. Pal , S. Ruj , P. Kumaraguru , T. Chakraborty

We introduce the notion of \emph{traceable mixnets}. In a traditional mixnet, multiple mix-servers jointly permute and decrypt a list of ciphertexts to produce a list of plaintexts, along with a proof of correctness, such that the…

Cryptography and Security · Computer Science 2024-06-25 Prashant Agrawal , Abhinav Nakarmi , Mahavir Prasad Jhawar , Subodh Sharma , Subhashis Banerjee

Variational inference has been widely used in machine learning literature to fit various Bayesian models. In network analysis, this method has been successfully applied to solve the community detection problems. Although these results are…

Machine Learning · Statistics 2024-05-22 Xuezhen Li , Can M. Le

In light of ever-increasing scale and sophistication of modern DDoS attacks, it is time to revisit in-network filtering or the idea of empowering DDoS victims to install in-network traffic filters in the upstream transit networks. Recent…

Cryptography and Security · Computer Science 2019-01-16 Deli Gong , Muoi Tran , Shweta Shinde , Hao Jin , Vyas Sekar , Prateek Saxena , Min Suk Kang

Robustness verification of neural networks, referring to formally proving that neural networks satisfy robustness properties, is of crucial importance in safety-critical applications, where model failures can result in loss of human life or…

Machine Learning · Computer Science 2026-04-06 Minh Le , Phuong Cao

Federated Learning is a privacy-preserving decentralized approach for Machine Learning tasks. In industry deployments characterized by a limited number of entities possessing abundant data, the significance of a participant's role in…

Machine Learning · Computer Science 2026-02-06 Arno Geimer , Beltran Fiz Pontiveros , Radu State

Voting systems have a wide range of applications including recommender systems, web search, product design and elections. Limited by the lack of general-purpose analytical tools, it is difficult to hand-engineer desirable voting rules for…

Machine Learning · Computer Science 2021-10-04 Cem Anil , Xuchan Bao

Conventional recommender systems are required to train the recommendation model using a centralized database. However, due to data privacy concerns, this is often impractical when multi-parties are involved in recommender system training.…

Cryptography and Security · Computer Science 2024-08-28 Peihua Mai , Yan Pang

A networked system can be made resilient against adversaries and attacks if the underlying network graph is structurally robust. For instance, to achieve distributed consensus in the presence of adversaries, the underlying network graph…

Systems and Control · Electrical Eng. & Systems 2019-07-26 Faiq Ghawash , Waseem Abbas

The performance of distributed and data-centric applications often critically depends on the interconnecting network. Applications are hence modeled as virtual networks, also accounting for resource demands on links. At the heart of…

Data Structures and Algorithms · Computer Science 2021-05-18 Aleksander Figiel , Leon Kellerhals , Rolf Niedermeier , Matthias Rost , Stefan Schmid , Philipp Zschoche

Complex systems, ranging from soft materials to wireless communication, are often organised as random geometric networks in which nodes and edges evenly fill up the volume of some space. Studying such networks is difficult because they…

Probability · Mathematics 2022-07-19 Ivan Kryven , Rik Versendaal

In seismic exploration, first break (FB) picking is a crucial aspect in the determination of subsurface velocity models, significantly influencing the placement of wells. Many deep neural networks (DNNs)-based automatic picking methods have…

Computer Vision and Pattern Recognition · Computer Science 2024-04-09 Hongtao Wang , Jiangshe Zhang , Xiaoli Wei , Li Long , Chunxia Zhang

We study the possibility of completing data bases of a sample of governance, diversification and value creation variables by providing a well adapted method to reconstruct the missing parts in order to obtain a complete sample to be applied…

Statistical Finance · Quantitative Finance 2012-12-27 Ines Kahloul , Anouar Ben Mabrouk , Slah-Eddine Hallara