English
Related papers

Related papers: A Logic of Sattestation

200 papers

If blockchain networks are to become the building blocks of the infrastructure for the future digital economy, then several challenges related to the resiliency and survivability of blockchain networks need to be addressed. The…

Cryptography and Security · Computer Science 2020-05-12 Thomas Hardjono , Ned Smith

Administration of a Web directory and maintenance of its content and the associated structure is a delicate and labor intensive task performed exclusively by human domain experts. Subsequently there is an imminent risk of a directory…

Information Retrieval · Computer Science 2013-02-12 Marko Horvat , Gordan Gledec , Nikola Bogunović

Contemporary IoT environments, such as smart buildings, require end-users to trust data-capturing rules published by the systems. There are several reasons why such a trust is misplaced -- IoT systems may violate the rules deliberately or…

Cryptography and Security · Computer Science 2021-08-21 Nisha Panwar , Shantanu Sharma , Guoxi Wang , Sharad Mehrotra , Nalini Venkatasubramanian , Mamadou H. Diallo , Ardalan Amiri Sani

Web3 applications require execution platforms that maintain confidentiality and integrity without relying on centralized trust authorities. While Trusted Execution Environments (TEEs) offer promising capabilities for confidential computing,…

Cryptography and Security · Computer Science 2025-09-16 Shunfan Zhou , Kevin Wang , Hang Yin

Modern data systems increasingly operate under conditions of persistent legal, political, and analytic disagreement. In such settings, interoperability cannot rely on shared interpretation, negotiated semantics, or centralized authority.…

Logic in Computer Science · Computer Science 2026-01-23 Denise M. Case

Our current understanding about the AS level topology of the Internet is based on measurements and inductive-type models which set up rules describing the behavior (node and edge dynamics) of the individual ASes and generalize the…

Networking and Internet Architecture · Computer Science 2015-12-11 Dávid Szabó , Attila Kőrösi , József Bíró , András Gulyás

WebAssembly (Wasm) is a novel low-level bytecode format that swiftly gained popularity for its efficiency, versatility and security, with near-native performance. Besides, trusted execution environments (TEEs) shield critical software…

Cryptography and Security · Computer Science 2023-05-18 Jämes Ménétrey , Marcelo Pasin , Pascal Felber , Valerio Schiavoni

Destination IP prefix-based routing protocols are core to Internet routing today. Internet autonomous systems (AS) possess fixed IP prefixes, while packets carry the intended destination AS's prefix in their headers, in clear text. As a…

Networking and Internet Architecture · Computer Science 2018-04-06 Lu Yu , Qing Wang , Geddings Barrineau , Jon Oakley , Richard R. Brooks , Kuang-Ching Wang

Cybersecurity data remains fragmented across vendors, formats, schemas, and deployment environments, forcing AI and analytics programs to spend disproportionate effort on ingestion, normalization, and brittle source-specific engineering.…

Cryptography and Security · Computer Science 2026-04-07 Abdul Rahman

Heterogeneous and dynamic IoT environments require a lightweight, scalable, and trustworthy access control system for protection from unauthorized access and for automated detection of compromised nodes. Recent proposals in IoT access…

Cryptography and Security · Computer Science 2020-03-10 Guntur Dharma Putra , Volkan Dedeoglu , Salil S. Kanhere , Raja Jurdak

With the evolution of 6G, semantic communication has emerged as a promising paradigm by prioritizing the delivery of task-relevant meaning over strict bit-level correctness. However, existing transport mechanisms still rely on explicit port…

Signal Processing · Electrical Eng. & Systems 2026-05-05 Yunhao Wang , Shuai Ma , Bin Shen , Shouhan Shi , Youlong Wu , Guangming Shi , Xiang Cheng

In the contemporary world of AI and data-driven applications, supervised machines often derive their understanding, which they mimic and reproduce, through annotations--typically conveyed in the form of words or labels. However, such…

Artificial Intelligence · Computer Science 2024-06-13 Delfina Sol Martinez Pandiani , Valentina Presutti

Humans can learn to solve new tasks by inducing high-level strategies from example solutions to similar problems and then adapting these strategies to solve unseen problems. Can we use large language models to induce such high-level…

Machine Learning · Computer Science 2025-08-27 Weijia Xu , Nebojsa Jojic , Nicolas Le Roux

Short text clustering has gained significant attention in the data mining community. However, the limited valuable information contained in short texts often leads to low-discriminative representations, increasing the difficulty of…

Machine Learning · Computer Science 2026-03-16 Zhihao Yao

A Concept Tree is a structure for storing knowledge where the trees are stored in a database called a Concept Base. It sits between the highly distributed neural architectures and the distributed information systems, with the intention of…

Artificial Intelligence · Computer Science 2020-04-07 Kieran Greer

Nowadays, a large amount of user privacy-sensitive data is outsourced to the cloud server in ciphertext, which is provided by the data owners and can be accessed by authorized data users. When accessing data, the user should be assigned…

Cryptography and Security · Computer Science 2018-11-19 Xueyan Liu , Zhitao Guan , Xiaojiang Du , Liehuang Zhu , Zhengtao Yu , Yinglong Ma

Shared reference is an essential aspect of meaning. It is also indispensable for the semantic web, since it enables to weave the global graph, i.e., it allows different users to contribute to an identical referent. For example, an essential…

Artificial Intelligence · Computer Science 2012-06-28 Simon Scheider , Krzysztof Janowicz , Benjamin Adams

Networked communications inherently depend on the ability of the sender of a message to indicate through some token how the message should be delivered to a particular recipient. The tokens that refer messages to recipients are variously…

Networking and Internet Architecture · Computer Science 2007-05-23 Michael J. O'Donnell

Due to the convergence of various mobile access technologies like UMTS, WLAN, and WiMax the need for a new supporting infrastructure arises. This infrastructure should be able to support more efficient ways to authenticate users and…

Cryptography and Security · Computer Science 2007-05-23 Nicolai Kuntze , Andreas U. Schmidt

It is hard to detect important articles in a specific context. Information retrieval techniques based on full text search can be inaccurate to identify main topics and they are not able to provide an indication about the importance of the…

Digital Libraries · Computer Science 2016-07-28 Metin Doslu , Haluk O. Bingol