English
Related papers

Related papers: A Logic of Sattestation

200 papers

The Internet has evolved through successive architectural abstractions that enabled unprecedented scale, interoperability, and innovation. Packet-based networking enabled the reliable transport of bits; cloud-native systems enabled the…

Networking and Internet Architecture · Computer Science 2026-02-03 Mallik Tatipamula , Xuesong Liu , Yao Sun , Muhammad Ali Imran

Adapting a trained model to perform satisfactorily on continually changing testing domains/environments is an important and challenging task. In this work, we propose a novel framework, SATA, which aims to satisfy the following…

Computer Vision and Pattern Recognition · Computer Science 2023-04-21 Goirik Chakrabarty , Manogna Sreenivas , Soma Biswas

Online government services are increasingly regarded as critical national infrastructure. Because these services directly influence public trust, any disruption can have significant societal and political consequences. Yet their supporting…

Networking and Internet Architecture · Computer Science 2026-04-22 Agung Septiadi , Minzhao Lyu , Hassan Habibi Gharakheili , Vijay Sivaraman

The Domain Name System (DNS) serves as the backbone of the Internet, primarily translating domain names to IP addresses. Over time, various enhancements have been introduced to strengthen the integrity of DNS. Among these, DNSSEC stands out…

Cryptography and Security · Computer Science 2025-12-09 Aduma Rishith , Aditya Kulkarni , Tamal Das , Vivek Balachandran

Data theft and leakage, caused by external adversaries and insiders, demonstrate the need for protecting user data. Trusted Execution Environments (TEEs) offer a promising solution by creating secure environments that protect data and code…

Cryptography and Security · Computer Science 2024-11-05 Kosei Akama , Yoshimichi Nakatsuka , Korry Luke , Masaaki Sato , Keisuke Uehara

We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in…

Logic in Computer Science · Computer Science 2025-06-19 Francesco A. Genco

Every digital process needs to consume some data in order to work properly. It is very common for applications to use some external data in their processes, getting them by sources such as external APIs. Therefore, trusting the received…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-06-06 Andrea Canciani , Claudio Felicioli , Fabio Severino , Domenico Tortola

Integrity and trust on the web build on X.509 certificates. Misuse or misissuance of these certificates threaten the Web PKI security model, which led to the development of several guarding techniques. In this paper, we study the DNS/DNSSEC…

Cryptography and Security · Computer Science 2024-07-03 Pouyan Fotouhi Tehrani , Raphael Hiesgen , Teresa Lübeck , Thomas C. Schmidt , Matthias Wählisch

The Transport Layer Security (TLS) protocol is a de facto standard of secure client-server communication on the Internet. Its security can be diminished by a variety of attacks that leverage on weaknesses in its design and implementations.…

Cryptography and Security · Computer Science 2018-04-04 Pawel Szalachowski

Companies and network operators perform risk assessment to inform policy-making, guide infrastructure investments or to comply with security standards such as ISO 27001. Due to the size and complexity of these networks, risk assessment…

Cryptography and Security · Computer Science 2021-05-17 Alexander Dax , Robert Künnemann

Semantic Web is actually an extension of the current one in that it represents information more meaningfully for humans and computers alike. It enables the description of contents and services in machine-readable form, and enables…

Artificial Intelligence · Computer Science 2010-06-24 Mohammad Mustafa Taye

We address the problem of scaling authentication for naming, routing, and end-entity certification to a global environment in which authentication policies and users' sets of trust roots vary widely. The current mechanisms for…

Cryptography and Security · Computer Science 2015-06-15 Stephanos Matsumoto , Raphael M. Reischuk , Pawel Szalachowski , Tiffany Hyun-Jin Kim , Adrian Perrig

The syntactic structure of a sentence can be described as a tree that indicates the syntactic relationships between words. In spite of significant progress in unsupervised methods that retrieve the syntactic structure of sentences, guessing…

Computation and Language · Computer Science 2026-03-09 Ramon Ferrer-i-Cancho , Marta Arias

Perceived trustworthiness underpins how users navigate online information, yet it remains unclear whether large language models (LLMs),increasingly embedded in search, recommendation, and conversational systems, represent this construct in…

Artificial Intelligence · Computer Science 2026-01-19 Gerard Yeo , Svetlana Churina , Kokil Jaidka

The Synchronic Web is a distributed network for securing data provenance on the World Wide Web. By enabling clients around the world to freely commit digital information into a single shared view of history, it provides a foundational basis…

Cryptography and Security · Computer Science 2024-06-11 Thien-Nam Dinh , Nicholas Pattengale , Steven Elliott

Trust can be defined as a measure to determine which source of information is reliable and with whom we should share or from whom we should accept information. There are several applications for trust in Online Social Networks (OSNs),…

Social and Information Networks · Computer Science 2020-03-24 Seyed Mohssen Ghafari

The security of TLS depends on trust in certificate authorities, and that trust stems from their ability to protect and control the use of a private signing key. The signing key is the key asset of a certificate authority (CA), and its…

Cryptography and Security · Computer Science 2017-10-11 Bargav Jayaraman , Hannah Li , David Evans

Cloud-based services have become part of our day-to-day software solutions. The identity authentication process is considered to be the main gateway to these services. As such, these gates have become increasingly susceptible to aggressive…

Cryptography and Security · Computer Science 2017-11-27 Marwan Darwish , Abdelkader Ouda , Luiz Fernando Capretz

As search, social media, and artificial intelligence continue to reshape collective knowledge, the preservation of trust on the public infosphere has become a defining challenge of our time. Given the breadth and versatility of adversarial…

Cryptography and Security · Computer Science 2025-06-03 Thien-Nam Dinh , Justin Li , Mitch Negus , Ken Goss

Trust is an important aspect of human life. It provides instrumental value in allowing us to collaborate on and defer actions to others, and intrinsic value in our intimate relationships with romantic partners, family, and friends. In this…

Artificial Intelligence · Computer Science 2023-03-17 Ryan Othniel Kearns