English
Related papers

Related papers: Modular Multiparty Sessions with Mixed Choice

200 papers

Secure multi-party computation provides a wide array of protocols for mutually distrustful parties be able to securely evaluate functions of private inputs. Within recent years, many such protocols have been proposed representing a plethora…

Cryptography and Security · Computer Science 2023-11-16 Kenneth Goss

A multiparty computation protocol is described in which the parties can generate different probability events that is based on the sharing of a single anonymized random number, and also perform oblivious transfer. A method to verify the…

Cryptography and Security · Computer Science 2015-06-01 Subhash Kak

Multi-modal models have shown a promising capability to effectively integrate information from various sources, yet meanwhile, they are found vulnerable to pervasive perturbations, such as uni-modal attacks and missing conditions. To…

Computer Vision and Pattern Recognition · Computer Science 2024-04-19 Zequn Yang , Yake Wei , Ce Liang , Di Hu

This paper evaluates the extent to which current Large Language Models (LLMs) can capture task-oriented multi-party conversations (MPCs). We have recorded and transcribed 29 MPCs between patients, their companions, and a social robot in a…

Computation and Language · Computer Science 2023-08-30 Angus Addlesee , Weronika Sieińska , Nancie Gunson , Daniel Hernández Garcia , Christian Dondrup , Oliver Lemon

The concept of Secure Multi-Party Computation (SMPC) is a cryptographic service that allows generating analysis of sensitive data related to finance under the collaboration of all stakeholders without violating the privacy of the research…

Cryptography and Security · Computer Science 2026-01-05 Brahim Khalil Sedraoui , Abdelmadjid Benmachiche , Amina Makhlouf , Chaouki Chemam

Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible…

Logic in Computer Science · Computer Science 2016-06-21 Claudio A. Mezzina , Jorge A. Pérez

This paper characterizes the secret message capacity of three networks where two unicast sessions share some of the communication resources. Each network consists of erasure channels with state feedback. A passive eavesdropper is assumed to…

Information Theory · Computer Science 2018-10-16 Gaurav Kumar Agarwal , Martina Cardone , Christina Fragouli

The dependencies between system and user utterances in the same turn and across different turns are not fully considered in existing multidomain dialogue state tracking (MDST) models. In this study, we argue that the incorporation of these…

Computation and Language · Computer Science 2020-10-23 Junfan Chen , Richong Zhang , Yongyi Mao , Jie Xu

Robust multimodal systems must remain effective when some modalities are noisy, degraded, or unreliable. Existing multimodal fusion methods often learn modality selection jointly with representation learning, making it difficult to…

Artificial Intelligence · Computer Science 2026-03-31 Roland Bertin-Johannet , Lara Scipio , Leopold Maytié , Rufin VanRullen

Submodular maximization is an optimization problem benefiting many machine learning applications, where we seek a small subset best representing an extremely large dataset. We focus on the federated setting where the data are locally owned…

Machine Learning · Computer Science 2025-11-11 Duc A. Tran , Dung Truong , Duy Le

Secure multi-party computation (MPC) allows parties to perform computations on data while keeping that data private. This capability has great potential for machine-learning applications: it facilitates training of machine-learning models…

Machine Learning · Computer Science 2022-09-19 Brian Knott , Shobha Venkataraman , Awni Hannun , Shubho Sengupta , Mark Ibrahim , Laurens van der Maaten

We introduce a combinatorial variant of the cost sharing problem: several services can be provided to each player and each player values every combination of services differently. A publicly known cost function specifies the cost of…

Computer Science and Game Theory · Computer Science 2017-04-28 Shahar Dobzinski , Shahar Ovadia

Machine learning is data hungry; the more data a model has access to in training, the more likely it is to perform well at inference time. Distinct parties may want to combine their local data to gain the benefits of a model trained on a…

Cryptography and Security · Computer Science 2019-01-09 Jamie Hayes , Olga Ohrimenko

Modern web applications can now offer desktop-like experiences from within the browser, thanks to technologies such as WebSockets, which enable low-latency duplex communication between the browser and the server. While these advances are…

Programming Languages · Computer Science 2019-04-03 Jonathan King , Nicholas Ng , Nobuko Yoshida

In this manuscript, we explore the application of model-free reinforcement learning in optimizing secure multiparty computation (SMPC) protocols. SMPC is a crucial tool for performing computations on private data without the need to…

Signal Processing · Electrical Eng. & Systems 2025-10-10 Javad Sayyadi , Mahdi Nangir , Mahmood Mohassel Feghhi , Hamid Sayyadi

In this paper, we design secure multi-party computation (MPC) protocols in the asynchronous communication setting with optimal resilience. Our protocols are secure against a computationally-unbounded malicious adversary, characterized by an…

Cryptography and Security · Computer Science 2022-05-27 Ananya Appan , Anirudh Chandramouli , Ashish Choudhury

Multiparty computation (MPC) consists in several parties engaging in joint computation in such a way that each party's input and output remain private to that party. Whereas MPC protocols for specific computations have existed since the…

Cryptography and Security · Computer Science 2022-01-03 Josep Domingo-Ferrer , Jesús Manjón

A notion of quantum conference is introduced in analogy with the usual notion of a conference that happens frequently in today's world. Quantum conference is defined as a multiparty secure communication task that allows each party to…

Quantum Physics · Physics 2022-06-10 Anindita Banerjee , Kishore Thapliyal , Chitra Shukla , Anirban Pathak

Session types provide guarantees about concurrent behaviour and can be understood through their correspondence with linear logic, with propositions as sessions and proofs as processes. However, a strictly linear setting is somewhat…

Programming Languages · Computer Science 2024-10-23 Danielle Marshall , Dominic Orchard

Recommender systems are personalized information systems. However, in many settings, the end-user of the recommendations is not the only party whose needs must be represented in recommendation generation. Incorporating this insight gives…

Information Retrieval · Computer Science 2017-07-31 Robin Burke , Himan Abdollahpouri