English
Related papers

Related papers: Intent-Aware Authorization for Zero Trust CI/CD

200 papers

The notion of patient's consent plays a major role in granting access to medical data. In typical healthcare systems, consent is captured by a form that the patient has to fill in and sign. In e-Health systems, the paper-form consent is…

Computers and Society · Computer Science 2013-09-12 Muhammad Rizwan Asghar , Giovanni Russello

Blind people are often called to contribute image data to datasets for AI innovation with the hope for future accessibility and inclusion. Yet, the visual inspection of the contributed images is inaccessible. To this day, we lack mechanisms…

Human-Computer Interaction · Computer Science 2024-07-30 Rie Kamikubo , Farnaz Zamiri Zeraati , Kyungjun Lee , Hernisa Kacorri

Cyber threat intelligence (CTI) is essential for effective system defense. CTI is a collection of information about current or past threats to a computer system. This information is gathered by an agent through observation, or based on a…

Cryptography and Security · Computer Science 2025-04-03 Laurent Bobelin , Sabine Frittella , Mariam Wehbe

Deauthentication is an important component of any authentication system. The widespread use of computing devices in daily life has underscored the need for zero-effort deauthentication schemes. However, the quest for eliminating user effort…

Cryptography and Security · Computer Science 2016-02-16 O. Huhta , P. Shrestha , S. Udar , M. Juuti , N. Saxena , N. Asokan

Digital public infrastructures (DPIs) represent networks of open technology standards, applications, services, and digital assets made available for the public good. One of the key challenges in DPI design is to resolve complex issues of…

Computers and Society · Computer Science 2025-11-06 Rohith Vaidyanathan , Srinath Srinivasa , Praseeda , Dev Shinde

In modern internet-scale computing, interaction between a large number of parties that are not known a-priori is predominant, with each party functioning both as a provider and consumer of services and information. In such an environment,…

Cryptography and Security · Computer Science 2021-09-06 Christos-Minas Mathas , Costas Vassilakis , Nicholas Kolokotronis

Property-Directed Reachability (PDR/IC3) is a standard workhorse for hardware safety verification, but most implementations are tuned primarily for time-to-answer and treat the produced invariant or counterexample as a secondary byproduct.…

Logic in Computer Science · Computer Science 2026-05-19 Arman Ferdowsi , Laura Kovacs

We introduce a method for the assessment of trust for n-open systems based on a measurement of fidelity and present a prototypic implementation of a complaint architecture. We construct a MAPE loop which monitors the compliance between…

Cryptography and Security · Computer Science 2015-03-11 Vincenzo De Florio , Giuseppe Primiero

This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create an organized repository of information (a knowledge base)…

Systems and Control · Electrical Eng. & Systems 2024-11-14 Arabinda Ghosh , Mahmoud Salamati , Sadegh Soudjani

Zero Trust Architecture (ZTA) represents a transformative approach to modern cybersecurity, directly addressing the shortcomings of traditional perimeter-based security models. With the rise of cloud computing, remote work, and increasingly…

Cryptography and Security · Computer Science 2024-10-25 Mahmud Hasan

The development of technology across multiple sectors and the growing importance of cyber warfare make the development of Cyber Situational Awareness (CSA) a fundamental component of any cyber defense strategy. CSA, as a practice, enables…

Traditional authorization policies are user-centric, in the sense that authorization is defined, ultimately, in terms of user identities. We believe that this user-centric approach is inappropriate for many applications, and that what…

Cryptography and Security · Computer Science 2014-06-20 Jason Crampton , James Sellwood

We propose a concept for authorisation using the location of a mobile device and the enforcement of location-based policies. Mobile devices enhanced by Trusted Computing capabilities operate an autonomous and secure location trigger and…

Cryptography and Security · Computer Science 2016-11-18 Andreas U. Schmidt , Nicolai Kuntze , Joerg Abendroth

As autonomous agents, from self-driving cars to virtual assistants, become increasingly present in everyday life, safe and effective collaboration depends on human understanding of agents' intentions. Current intent communication approaches…

Data encryption limits the power and efficiency of queries. Direct processing of encrypted data should ideally be possible to avoid the need for data decryption, processing, and re-encryption. It is vital to keep the data searchable and…

Cryptography and Security · Computer Science 2022-10-03 Maryam Almarwani , Boris Konev , Alexei Lisitsa

As 6G architectures transition toward decentralized Multi-Agent Systems (MAS), ensuring secure access to shared Knowledge Bases (KB) is critical. Traditional authorization models like RBAC fail to provide the granularity required for…

Cryptography and Security · Computer Science 2026-05-08 Loay Abdelrazek , Leyli Karacay , Marin Orlic

Unauthorized credit inquiries are also a central entry point for identity theft, with Social Security Numbers (SSNs) being widely utilized in fraudulent cases. Traditional credit inquiry systems do not usually possess strict user…

Cryptography and Security · Computer Science 2025-05-27 Gogulakrishnan Thiyagarajan , Vinay Bist , Prabhudarshi Nayak

Conflict-free replicated data types (CRDTs) and the local-first concept are increasingly employed not only in small-scale collaboration systems among few users who trust each other, but also in large-scale systems, like Matrix for instant…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-28 Florian Jacob , Johanna Stuber , Hannes Hartenstein

Confidential computing protects data in use within Trusted Execution Environments (TEEs), but current TEEs provide little support for secure communication between components. As a result, pipelines of independently developed and deployed…

Cryptography and Security · Computer Science 2026-03-10 Amir Al Sadi , Sina Abdollahi , Adrien Ghosn , Hamed Haddadi , Marios Kogias

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet