English
Related papers

Related papers: The Matrix Reloaded: A Mechanized Formal Analysis …

200 papers

Messaging between two parties and in the group setting has enjoyed widespread attention both in practice, and, more recently, from the cryptographic community. One of the main challenges in the area is constructing secure (end-to-end…

Cryptography and Security · Computer Science 2023-01-25 David Balbás , Daniel Collins , Phillip Gajland

Encrypted messaging services like WhatsApp, Facebook Messenger, and Signal provide secure and deniable communication for billions across the world, but these exact properties prevent holding users accountable for sending messages that are…

Cryptography and Security · Computer Science 2023-06-05 Alistair Pattison , Nicholas Hopper

WhatsApp messenger is arguably the most popular mobile app available on all smart-phones. Over one billion people worldwide for free messaging, calling, and media sharing use it. In April 2016, WhatsApp switched to a default end-to-end…

Cryptography and Security · Computer Science 2017-01-25 Nidhi Rastogi , James Hendler

The core network architecture of telecommunication systems has undergone a paradigm shift in the fifth-generation (5G)networks. 5G networks have transitioned to software-defined infrastructures, thereby reducing their dependence on…

Networking and Internet Architecture · Computer Science 2021-08-10 Tanujay Saha , Najwa Aaraj , Niraj K. Jha

In this work is proposed a method using orthogonal matrix transform properties to encrypt and decrypt a message. It will be showed how to use matrix functions to create complex encryptions. Because orthogonal matrix are always…

Cryptography and Security · Computer Science 2014-01-28 Yeray Cachon Santana

Mobile messaging apps are a fundamental communication infrastructure, used by billions of people every day to share information, including sensitive data. Security and Privacy are thus critical concerns for such applications. Although the…

Cryptography and Security · Computer Science 2026-04-01 Ioannis Karyotakis , Foivos Timotheos Proestakis , Evangelos Talos , Diomidis Spinellis , Nikolaos Alexopoulos

We address a cryptanalysis of two protocols based on the supposed difficulty of discrete logarithm problem on (semi) groups of matrices over a group ring. We can find the secret key and break entirely the protocols.

Cryptography and Security · Computer Science 2015-03-17 Mohammad Eftekhari

Matrix is a new message-oriented data synchronization middleware, used as a federated platform for near real-time decentralized applications. It features a novel approach for inter-server communication based on synchronizing message history…

Networking and Internet Architecture · Computer Science 2019-12-02 Florian Jacob , Jan Grashöfer , Hannes Hartenstein

This paper deals with distributed matrix multiplication. Each player owns only one row of both matrices and wishes to learn about one distinct row of the product matrix, without revealing its input to the other players. We first improve on…

Cryptography and Security · Computer Science 2016-07-14 Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys

Mission critical systems deployed in data centers today are facing more sophisticated failures. Byzantine fault tolerant (BFT) protocols are capable of masking these types of failures, but are rarely deployed due to their performance cost…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-10-25 Guangda Sun , Xin Zhe Khooi , Yunfan Li , Mingliang Jiang , Jialin Li

Secure messaging applications often offer privacy to users by protecting their messages from would be observers through end-to-end encryption techniques. However, the metadata of who communicates with whom cannot be concealed by encryption…

Cryptography and Security · Computer Science 2023-05-18 Eric Brigham , Nicholas Hopper

Shamir or Blakley secret sharing schemes are used for the authentication process in the studies before, but still secure group authentication and hand-over process remain as challenges in group authentication approaches. In this study, a…

Cryptography and Security · Computer Science 2019-08-28 Yucel Aydin , Gunes Karabulut Kurt , Enver Ozdemır

This paper deals with the evaluation of trust in public-key infrastructures. Different trust models have been proposed to interconnect the various PKI components in order to propagate the trust between them. In this paper we provide a new…

Cryptography and Security · Computer Science 2013-02-04 Jean-Guillaume Dumas , Hicham Hossayni

Tensor operations, such as matrix multiplication, are central to large-scale machine learning applications. For user-driven tasks these operations can be carried out on a distributed computing platform with a master server at the user side…

Information Theory · Computer Science 2019-01-24 Malihe Aliasgari , Osvaldo Simeone , Joerg Kliewer

This document is a technical overview and discussion of our work, a protocol for secure group messaging. By secure we mean for the actual users i.e. end-to-end security, as opposed to "secure" for irrelevant third parties. Our work provides…

Cryptography and Security · Computer Science 2016-06-16 Ximin Luo , Guy Kloss

Secure group communications are a mechanism facilitating protected transmission of messages from a sender to multiple receivers, and many emerging applications in both wired and wireless networks need the support of such a mechanism. There…

Cryptography and Security · Computer Science 2020-10-13 Shouhuai Xu

In this article, an encryption scheme based on (-1, 1) conference matrix has been developed. The decryption key comprising of fixed number of positive integers with prime power yields the high level security of message. Some popular attacks…

Cryptography and Security · Computer Science 2019-12-24 Shipra Kumari , Hrishikesh Mahato

Internet social networks have become a ubiquitous application allowing people to easily share text, pictures, and audio and video files. Popular networks include WhatsApp, Facebook, Reddit and LinkedIn. We present an extensive study of the…

Computers and Society · Computer Science 2018-02-13 Avi Rosenfeld , Sigal Sina , David Sarne , Or Avidov , Sarit Kraus

Cryptography protects users by providing functionality for the encryption of data and authentication of other users. This technology lets the receiver of an electronic message verify the sender, ensures that a message can be read only by…

Cryptography and Security · Computer Science 2011-10-10 Penmetsa V. Krishna Raja , A. S. N. Chakravarthy , P. S. Avadhani

We suggest two new methodologies for the design of efficient secure protocols, that differ with respect to their underlying computational models. In one methodology we utilize the communication complexity tree (or branching for f and…

Cryptography and Security · Computer Science 2007-05-23 Moni Naor , Kobbi Nissim
‹ Prev 1 2 3 10 Next ›