English
Related papers

Related papers: zkSBOM: Privacy-Preserving SBOM Sharing with Zero-…

200 papers

Financial Generative Pre-trained Transformers (FinGPT) with multimodal capabilities are now being increasingly adopted in various financial applications. However, due to the intellectual property of model weights and the copyright of…

Computational Engineering, Finance, and Science · Computer Science 2026-01-23 Xiao-Yang Liu , Ningjie Li , Keyi Wang , Xiaoli Zhi , Weiqin Tong

Implicit authentication consists of a server authenticating a user based on the user's usage profile, instead of/in addition to relying on something the user explicitly knows (passwords, private keys, etc.). While implicit authentication…

Cryptography and Security · Computer Science 2015-03-03 Josep Domingo-Ferrer , Qianhong Wu , Alberto Blanco-Justicia

Zero-knowledge proof system is an important protocol that can be used as a basic block for construction of other more complex cryptographic protocols. Quantum zero-knowledge protocols have been proposed but, since their implementation…

Quantum Physics · Physics 2008-01-07 Rubens Viana Ramos , Jose Claudio do Nascimento

Protecting source code against reverse engineering and theft is an important problem. The goal is to carry out computations using confidential algorithms on an untrusted party while ensuring confidentiality of algorithms. This problem has…

Cryptography and Security · Computer Science 2016-12-13 Johannes Schneider , Thomas Locher

In Internet of Things (IoT) systems with security demands, there is often a need to distribute sensitive information (such as encryption keys, digital signatures, or login credentials, etc.) among the devices, so that it can be retrieved…

Cryptography and Security · Computer Science 2019-11-28 Lake Bu , Mihailo Isakov , Michel A. Kinsy

ZeroDB is an end-to-end encrypted database that enables clients to operate on (search, sort, query, and share) encrypted data without exposing encryption keys or cleartext data to the database server. The familiar client-server architecture…

Cryptography and Security · Computer Science 2016-03-09 Michael Egorov , MacLane Wilkison

Mounting privacy legislation calls for the preservation of privacy in speech technology, though solutions are gravely lacking. While evaluation campaigns are long-proven tools to drive progress, the need to consider a privacy adversary…

Debugging and auditing zero-knowledge-compatible smart contracts remains a significant challenge due to the lack of source mapping in compilers such as zkSolc. In this work, we present a preliminary source mapping framework that establishes…

Software Engineering · Computer Science 2025-05-05 Pei Xu , Yulei Sui , Mark Staples

Software debloating seeks to mitigate security risks and improve performance by eliminating unnecessary code. In recent years, a plethora of debloating tools have been developed, creating a dense and varied landscape. Several studies have…

Software Engineering · Computer Science 2024-07-17 Mohannad Alhanahnah , Yazan Boshmaf , Ashish Gehani

The rapid advancement of open-source foundation models has brought transparency and accessibility to this groundbreaking technology. However, this openness has also enabled the development of highly-capable, unsafe models, as exemplified by…

Computers and Society · Computer Science 2024-06-18 Terrence Neumann , Bryan Jones

Software products are rarely developed from scratch and vulnerabilities in such products might reside in parts that are either open source software or provided by another organization. Hence, the total cybersecurity of a product often…

Software Engineering · Computer Science 2019-06-12 Thomas Olsson , Martin Hell , Martin Höst , Ulrik Franke , Markus Borg

Cyber attacks leveraging or targeting the software supply chain, such as the SolarWinds and the Log4j incidents, affected thousands of businesses and their customers, drawing attention from both industry and government stakeholders. To…

Cryptography and Security · Computer Science 2024-08-30 Nusrat Zahan , Yasemin Acar , Michel Cukier , William Enck , Christian Kästner , Alexandros Kapravelos , Dominik Wermke , Laurie Williams

Criminal networks arise from the unique attempt to balance a need of establishing frequent ties among affiliates to facilitate the coordination of illegal activities, with the necessity to sparsify the overall connectivity architecture to…

Applications · Statistics 2024-11-01 Chaoyi Lu , Daniele Durante , Nial Friel

Data protection algorithms are becoming increasingly important to support modern business needs for facilitating data sharing and data monetization. Anonymization is an important step before data sharing. Several organizations leverage on…

Cryptography and Security · Computer Science 2021-08-11 Manish Kesarwani , Akshar Kaul , Stefano Braghin , Naoise Holohan , Spiros Antonatos

With the advent of big data and the birth of the data markets that sell personal information, individuals' privacy is of utmost importance. The classical response is anonymization, i.e., sanitizing the information that can directly or…

Cryptography and Security · Computer Science 2021-06-15 Nikhil Jha , Thomas Favale , Luca Vassio , Martino Trevisan , Marco Mellia

Cryptographic migration driven by algorithm deprecation, regulatory change, and post-quantum readiness requires more than an inventory of cryptographic assets. Existing Cryptographic Bills of Materials (CBOMs) are typically tool- or…

Cryptography and Security · Computer Science 2026-03-25 Eduard Hirsch , Kristina Raab

In this paper, we create a single-use and full syntax zero-knowledge proof system, a.k.a zk-Fabric. Comparing with zk-SNARKS and another variant zero-knowledge proofing system, zkBOO and it's variant zkBOO++. We present multiple new…

Cryptography and Security · Computer Science 2024-09-04 Sheng Sun , Tong Wen

A Bill of Materials (BoM) is a list of all components on a printed circuit board (PCB). Since BoMs are useful for hardware assurance, automatic BoM extraction (AutoBoM) is of great interest to the government and electronics industry. To…

Image and Video Processing · Electrical Eng. & Systems 2023-07-26 Olivia P. Dizon-Paradis , Daniel E. Capecci , Nathan T. Jessurun , Damon L. Woodard , Mark M. Tehranipoor , Navid Asadizanjani

In traditional runtime verification, a system is typically observed by a monolithic monitor. Enforcing privacy in such settings is computationally expensive, as it necessitates heavy cryptographic primitives. Therefore, privacy-preserving…

Cryptography and Security · Computer Science 2026-03-23 Mahyar Karimi , K. S. Thejaswini , Roderick Bloem , Thomas A. Henzinger

Many companies use identity information for different goals. There are a lot of marketplaces for identity information. These markets have some practical issues such as privacy, mutual trust and fairing exchange. The management of identity…

Cryptography and Security · Computer Science 2021-06-29 Mohsen Rahnamaei , Saeid Tousi Saeidi , Siavash Khorsandi , Mehdi Shajari