English
Related papers

Related papers: A Logic of Sattestation

200 papers

In today's digital landscape, the Web has become increasingly centralized, raising concerns about user privacy violations. Decentralized Web architectures, such as Solid, offer a promising solution by empowering users with better control…

Artificial Intelligence · Computer Science 2024-03-13 Rui Zhao , Jun Zhao

Traditional security architectures are becoming more vulnerable to distributed attacks due to significant dependence on trust. This will further escalate when implementing agentic AI within the systems, as more components must be secured…

Networking and Internet Architecture · Computer Science 2025-09-29 Fannya R. Sandjaja , Ayesha A. Majeed , Abdullah Abdullah , Gyan Wickremasinghe , Karen Rafferty , Vishal Sharma

The problem of verifying whether a textual hypothesis holds based on the given evidence, also known as fact verification, plays an important role in the study of natural language understanding and semantic representation. However, existing…

Computation and Language · Computer Science 2020-06-16 Wenhu Chen , Hongmin Wang , Jianshu Chen , Yunkai Zhang , Hong Wang , Shiyang Li , Xiyou Zhou , William Yang Wang

We aim to accelerate the original vision of the semantic web by revisiting design decisions that have defined the semantic web up until now. We propose a shift in direction that more broadly embraces existing data infrastructure by…

Databases · Computer Science 2024-07-30 Vleer Doing , Ryan Wisnesky

In recent years, the world has witnessed various primitives pertaining to the complexity of human behavior. Identifying an event in the presence of insufficient, incomplete, or tentative premises along with the constraints on resources such…

Artificial Intelligence · Computer Science 2021-03-22 Sarika Jain , Archana Patel

Software as a service or (SaaS) is a new software development and deployment paradigm over the cloud and offers Information Technology services dynamically as "on-demand" basis over the internet. Trust is one of the fundamental security…

Cryptography and Security · Computer Science 2013-04-22 Somesh Kumar Prajapati , Suvamoy Changder , Anirban Sarkar

The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web of Linked Data from the perspective of a Web developer that…

Programming Languages · Computer Science 2013-08-05 Gabriel Ciobanu , Ross Horne , Vladimiro Sassone

The domain name system (DNS) that maps alphabetic names to numeric Internet Protocol (IP) addresses plays a foundational role for Internet communications. By default, DNS queries and responses are exchanged in unencrypted plaintext, and…

Cryptography and Security · Computer Science 2024-07-08 Minzhao Lyu , Hassan Habibi Gharakheili , Vijay Sivaraman

The massive semantic data sources linked in the Web of Data give new meaning to old features like navigation; introduce new challenges like semantic specification of Web fragments; and make it possible to specify actions relying on semantic…

Networking and Internet Architecture · Computer Science 2011-11-21 Valeria Fionda , Claudio Gutierrez , Giuseppe Pirró

Trustworthiness and trust are basic factors in common societies that allow us to interact and enjoy being in crowds without fear. As robotic devices start percolating into our daily lives they must behave as fully trustworthy objects, such…

Computers and Society · Computer Science 2025-04-15 Gerhard P. Fettweis , Patricia Grünberg , Tim Hentschel , Stefan Köpsell

Targeted Sentiment Analysis (TSA) is a central task for generating insights from consumer reviews. Such content is extremely diverse, with sites like Amazon or Yelp containing reviews on products and businesses from many different domains.…

Computation and Language · Computer Science 2022-05-10 Orith Toledo-Ronen , Matan Orbach , Yoav Katz , Noam Slonim

Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakeholders involved in system…

Software Engineering · Computer Science 2024-04-10 Giovanna Broccia , Maurice H. ter Beek , Alberto Lluch Lafuente , Paola Spoletini , Alessio Ferrari

In contrast to today's IP-based host-oriented Internet architecture, Information-Centric Networking (ICN) emphasizes content by making it directly addressable and routable. Named Data Networking (NDN) architecture is an instance of ICN that…

Networking and Internet Architecture · Computer Science 2014-10-31 Cesar Ghali , Gene Tsudik , Ersin Uzun

In this paper, we observe that semi-structured tabulated text is ubiquitous; understanding them requires not only comprehending the meaning of text fragments, but also implicit relationships between them. We argue that such data can prove…

Computation and Language · Computer Science 2020-05-14 Vivek Gupta , Maitrey Mehta , Pegah Nokhiz , Vivek Srikumar

Large Reasoning Models (LRMs) and Multi-Agent Systems (MAS) in high-stakes domains demand reliable verification, yet centralized approaches suffer four limitations: (1) Robustness, with single points of failure vulnerable to attacks and…

Artificial Intelligence · Computer Science 2026-05-01 Yu-Chao Huang , Zhen Tan , Mohan Zhang , Pingzhi Li , Zhuo Zhang , Tianlong Chen

Trust has stood out more than ever in the light of recent innovations. Some examples are advances in artificial intelligence that make machines more and more humanlike, and the introduction of decentralized technologies (e.g. blockchains),…

Artificial Intelligence · Computer Science 2026-02-10 Glenda Amaral , Tiago Prince Sales , Riccardo Baratella , Daniele Porello , Renata Guizzardi , Giancarlo Guizzardi

European digital sovereignty and security increasingly depends on whether high-impact decisions can be grounded in location evidence that remains credible under adversarial pressure. This paper frames a cross-sector analysis as a…

Cryptography and Security · Computer Science 2026-04-16 Eduardo Brito , Liina Kamm

Public Key Infrastructures (PKIs) with their trusted Certificate Authorities (CAs) provide the trust backbone for the Internet: CAs sign certificates which prove the identity of servers, applications, or users. To be trusted by operating…

Cryptography and Security · Computer Science 2020-09-21 Jens Hiller , Johanna Amann , Oliver Hohlfeld

Audio CAPTCHAs are supposed to provide a strong defense for online resources; however, advances in speech-to-text mechanisms have rendered these defenses ineffective. Audio CAPTCHAs cannot simply be abandoned, as they are specifically named…

Nowadays, the Internet is indispensable when it comes to information dissemination. People rely on the Internet to inform themselves on current news events, as well as to verify facts. We, as a community, are quickly approaching an…

Digital Libraries · Computer Science 2018-09-18 Waqar Detho