English
Related papers

Related papers: Certificate Transparency with Privacy

200 papers

Conversational agents (CAs) (e.g., chatbots) are increasingly used in settings where users disclose sensitive information, raising significant privacy concerns. Because privacy judgments are highly contextual, supporting users to engage in…

Human-Computer Interaction · Computer Science 2026-01-27 Mohammad Hadi Nezhad , Francisco Enrique Vicente Castro , Ivon Arroyo

The current humanitarian health crisis popularized the debate on data privacy. At the same time, several cities, states, and even countries put the mandatory presentation of health pass to access services into practice. In this article, we…

Cryptography and Security · Computer Science 2022-02-21 Mauricio de Vasconcelos Barros , Frederico Schardong , Ricardo Felipe Custódio

Proof-carrying-code was proposed as a solution to ensure a trust relationship between two parties: a (heavyweight) analyzer and a (lightweight) checker. The analyzer verifies the conformance of a given application to a specified property…

Programming Languages · Computer Science 2018-08-06 Mohamed Nassim Seghir

In recent years, as blockchain adoption has been expanding across a wide range of domains, e.g., digital asset, supply chain finance, etc., the confidentiality of smart contracts is now a fundamental demand for practical applications.…

Cryptography and Security · Computer Science 2021-06-28 Qian Ren , Han Liu , Yue Li , Hong Lei

As our physical environments become ever-more connected, instrumented and automated, it can be increasingly difficult for users to understand what is happening within them and why. This warrants attention; with the pervasive and physical…

Human-Computer Interaction · Computer Science 2024-01-22 Chris Norval , Jatinder Singh

Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive…

Cryptography and Security · Computer Science 2025-05-15 Thomas A. Henzinger , Mahyar Karimi , K. S. Thejaswini

Cryptographic protocols aim at securing communications over insecure networks such as the Internet, where dishonest users may listen to communications and interfere with them. A secure communication has a different meaning depending on the…

Cryptography and Security · Computer Science 2016-11-10 Stéphanie Delaune , Lucca Hirschi

Attestation of documents like legal papers, professional qualifications, medical records, and commercial documents is crucial in global transactions, ensuring their authenticity, integrity, and trustworthiness. Companies expanding…

Cryptography and Security · Computer Science 2025-11-13 Swapna Krishnakumar Radha , Andrey Kuehlkamp , Jarek Nabrzyski

We introduce the novel problem of benchmarking fraud detectors on private graph-structured data. Currently, many types of fraud are managed in part by automated detection algorithms that operate over graphs. We consider the scenario where a…

Cryptography and Security · Computer Science 2025-07-31 Alexander Goldberg , Giulia Fanti , Nihar Shah , Zhiwei Steven Wu

Great advances in computing and communication technology are bringing many benefits to society, with transformative changes and financial opportunities being created in health care, transportation, education, law enforcement, national…

Computers and Society · Computer Science 2016-04-13 Lorrie Cranor , Tal Rabin , Vitaly Shmatikov , Salil Vadhan , Daniel Weitzner

We increasingly live in a world where there is a balance between the rights to privacy and the requirements for consent, and the rights of society to protect itself. Within this world, there is an ever-increasing requirement to protect the…

Computers and Society · Computer Science 2019-07-30 Simon Dyson , William J Buchanan , Liam Bell

Certificateless cryptography can be considered as an intermediate solution to overcome the issues in traditional public key infrastructure (PKI) and identity-based public key cryptography (ID-PKC). There exist a vast number of…

Cryptography and Security · Computer Science 2019-09-25 Nasrollah Pakniat

Dark web crawling is a complex process that involves specific methodologies and techniques to navigate the Tor network and extract data from hidden services. This study proposes a general dark web crawler designed to extract pages handling…

Cryptography and Security · Computer Science 2024-05-13 Daniel De Pascale , Giuseppe Cascavilla , Damian A. Tamburri , Willem-Jan Van Den Heuvel

Data security and privacy is an important but challenging problem in cloud computing. One of the security concerns from cloud users is how to efficiently verify the integrity of their data stored on the cloud server. Third Party Auditing…

Cryptography and Security · Computer Science 2019-12-05 Faen Zhang , Xinyu Fan , Pengcheng Zhou , Wenfeng Zhou

Quantum private query (QPQ) is the quantum version for symmetrically private retrieval. However, the user privacy in QPQ is generally guarded in the non-realtime and cheat sensitive way. That is, the dishonest database holder's cheating to…

Quantum Physics · Physics 2024-07-30 Chun-Yan Wei , Xiao-Qiu Cai , Tian-Yin Wang

The California Consumer Protection Act (CCPA) gives users the right to opt-out of sale of their personal information, but prior work has found that opt-out mechanisms provided under this law result in very low opt-out rates. Privacy signals…

Computers and Society · Computer Science 2022-09-29 Aden Siebel , Eleanor Birrell

Digital services have been offered through remote systems for decades. The questions of how these systems can be built in a trustworthy manner and how their security properties can be understood are given fresh impetus by recent hardware…

Cryptography and Security · Computer Science 2023-04-18 Kubilay Ahmet Küçük , Andrew Martin

Enabling supply chain transparency (SCT) is essential for regulatory compliance and meeting sustainability standards. Multi-tier SCT plays a pivotal role in identifying and mitigating an organization's operational, environmental, and social…

Computers and Society · Computer Science 2024-09-13 Lukas Hueller , Tim Kuffner , Matthias Schneider , Leo Schuhmann , Virginie Cauderay , Tolga Buz , Vincent Beermann , Falk Uebernickel

Differential Privacy can provide provable privacy guarantees for training data in machine learning. However, the presence of proofs does not preclude the presence of errors. Inspired by recent advances in auditing which have been used for…

Machine Learning · Computer Science 2022-03-29 Florian Tramer , Andreas Terzis , Thomas Steinke , Shuang Song , Matthew Jagielski , Nicholas Carlini

Anonymity is an important principle online. However, malicious actors have long used misleading identities to conduct fraud, spread disinformation, and carry out other deceptive schemes. With the advent of increasingly capable AI, bad…