English
Related papers

Related papers: HOT Protocol

200 papers

This paper explores the privacy of cloud outsourced Model Predictive Control (MPC) for a linear system with input constraints. In our cloud-based architecture, a client sends her private states to the cloud who performs the MPC computation…

Optimization and Control · Mathematics 2018-09-20 Andreea B. Alexandru , Manfred Morari , George J. Pappas

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

Cryptography and Security · Computer Science 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

In the smart grid, smart meters, and numerous control and monitoring applications employ bidirectional wireless communication, where security is a critical issue. In key management based encryption method for the smart grid, the Trusted…

Multiagent Systems · Computer Science 2017-09-26 Imtiaz Parvez , Maryamossadat Aghili , Arif Sarwat

Many organizations stand to benefit from pooling their data together in order to draw mutually beneficial insights -- e.g., for fraud detection across banks, better medical studies across hospitals, etc. However, such organizations are…

Cryptography and Security · Computer Science 2020-10-27 Rishabh Poddar , Sukrit Kalra , Avishay Yanai , Ryan Deng , Raluca Ada Popa , Joseph M. Hellerstein

In response to the European Commission's aim of cutting carbon emissions by 2050, there is a growing need for cutting-edge solutions to promote low-carbon energy consumption in public infrastructures. This paper introduces a Proof of…

Cryptography and Security · Computer Science 2024-03-14 Renan Lima Baima , Iván Abellán Álvarez , Ivan Pavić , Emanuela Podda

Computational privacy is a property of cryptographic system that ensures the privacy of data being processed at an untrusted server. Fully Homomorphic Encryption Schemes (FHE) promise to provide such property. Contemporary FHE schemes are…

Cryptography and Security · Computer Science 2014-06-10 Sashank Dara

The problem of obtaining secret commitments from multiple parties and revealing them after a certain time is useful for sealed-bid auctions, games, and other applications. Existing solutions, dating back to Rivest, Shamir and Wagner, either…

Cryptography and Security · Computer Science 2020-05-19 Yael Doweck , Ittay Eyal

Federated Learning and Analytics (FLA) have seen widespread adoption by technology platforms for processing sensitive on-device data. However, basic FLA systems have privacy limitations: they do not necessarily require anonymization…

This paper proposes the Intra Trustcenter Protocol (ITP), a flexible and secure management protocol for communication between arbitrary trustcenter components. Unlike other existing protocols (like PKCS#7, CMP or XKMS) ITP focuses on the…

Cryptography and Security · Computer Science 2009-09-29 V. Karatsiolis , M. Lippert , A. Wiesmaier , A. Pitaev , M. Ruppert , J. Buchmann

With the advent of the Internet-of-Things (IoT), vehicular networks and cyber-physical systems, the need for real-time data processing and analysis has emerged as an essential pre-requite for customers' satisfaction. In this direction,…

Networking and Internet Architecture · Computer Science 2019-07-23 Kuljeet Kaur , Sahil Garg , Georges Kaddoum , Mohsen Guizani , Dushantha Nalin K. Jayakody

Decentralized data markets gather data from many contributors to create a joint data cooperative governed by market stakeholders. The ability to perform secure computation on decentralized data markets would allow for useful insights to be…

Cryptography and Security · Computer Science 2019-07-03 Fattaneh Bayatbabolghani , Bharath Ramsundar

Utilizing the advantage of quantum entanglement swapping, a multi-party quantum key agreement protocol with authentication is proposed. In this protocol, a semi-trusted third party is introduced, who prepares Bell states, and sends one…

Quantum Physics · Physics 2023-04-03 Yiting Wu , Hong Chang , Gongde Guo , Song Lin

When working with joint collections of confidential data from multiple sources, e.g., in cloud-based multi-party computation scenarios, the ownership relation between data providers and their inputs itself is confidential information.…

Cryptography and Security · Computer Science 2020-02-14 Kilian Becher , Thorsten Strufe

In the age of Big Data, releasing protected sensitive data at a future point in time is critical for various applications. Such self-emerging data release requires the data to be protected until a prescribed data release time and be…

Cryptography and Security · Computer Science 2019-02-18 Chao Li , Balaji Palanisamy

Secure multi-party computation (MPC) facilitates privacy-preserving computation between multiple parties without leaking private information. While most secure deep learning techniques utilize MPC operations to achieve feasible…

Cryptography and Security · Computer Science 2024-07-30 Ke Lin , Yasir Glani , Ping Luo

Topos is an open interoperability protocol designed to reduce as much as possible trust assumptions by replacing them with cryptographic constructions and decentralization while exhibiting massive scalability. The protocol does not make use…

Cryptography and Security · Computer Science 2023-02-10 Théo Gauthier , Sébastien Dan , Monir Hadji , Antonella Del Pozzo , Yackolley Amoussou-Guenou

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

The Lightning Network is a scaling solution for Bitcoin that promises to enable rapid and private payment processing. In Lightning, multi-hop payments are secured by utilizing Hashed Time-Locked Contracts (HTLCs) and encrypted on the…

Networking and Internet Architecture · Computer Science 2020-06-23 Elias Rohrer , Florian Tschorsch

Electing democratic representatives via voting has been a common mechanism since the 17th century. However, these mechanisms raise concerns about fairness, privacy, vote concealment, fair calculations of tally, and proxies voting on their…

Cryptography and Security · Computer Science 2021-02-23 Sankarshan Damle , Sujit Gujar , Moin Hussain Moti

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

Cryptography and Security · Computer Science 2020-04-30 Ulrich Gallersdörfer , Florian Matthes