Buchumschlag

Source-level reasoning for quantitative information flow

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Chris, McIver, Annabelle, Morgan, Carroll
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Forward and Backward Simulations for Partially Observable Probability
von: Chen, Chris, et al.
Veröffentlicht: (2025)

A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
von: Alvim, Mário S., et al.
Veröffentlicht: (2023)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
von: Xu, Yang, et al.
Veröffentlicht: (2026)

Detecting speculative data flow vulnerabilities using weakest precondition reasoning
von: Smith, Graeme
Veröffentlicht: (2025)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
von: Balbiani, Philippe
Veröffentlicht: (2025)

Completeness of two fragments of a logic for conditional strategic reasoning
von: Li, Yinfeng, et al.
Veröffentlicht: (2024)

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

A set-theoretical approach for ABox reasoning services (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

A quantitative probabilistic relational Hoare logic
von: Avanzini, Martin, et al.
Veröffentlicht: (2024)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Multi types and reasonable space
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2022)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2018)

TensorRocq: Enabling diagrammatic reasoning in Rocq
von: Caldwell, Benjamin, et al.
Veröffentlicht: (2026)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2018)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
von: Proost, Cas, et al.
Veröffentlicht: (2026)

SAT problem and Limit of Solomonoff's inductive reasoning theory
von: Pan, Feng
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Compositional Reversible Computation
von: Carette, Jacques, et al.
Veröffentlicht: (2024)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Demystifying $μ$
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

The strength of the dominance rule
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2024)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

The subTuring degrees
von: Kihara, Takayuki, et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)