On the public citation graph
A Calculus for Flow-Limited Authorization
0 signed · 63 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/11748625_14openalex-snapshot
Scalability in a Secure Distributed Proof System
inferredcites →https://doi.org/10.1007/978-3-540-70525-3_9openalex-snapshot
Variations in Access Control Logic
inferredcites →https://doi.org/10.1007/978-3-642-01465-9_2openalex-snapshot
Secure Information Flow as a Safety Property
inferredcites →https://doi.org/10.1007/978-3-642-36563-8_10openalex-snapshot
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols
inferredcites →https://doi.org/10.1007/bf00196774openalex-snapshot
Bit commitment using pseudorandomness
inferredcites →https://doi.org/10.1007/s10207-007-0019-9openalex-snapshot
Dynamic security labels and static information flow control
inferredcites →https://doi.org/10.1016/j.pmcj.2005.01.004openalex-snapshot
Secure context-sensitive authorization
inferredcites →https://doi.org/10.1023/a:1020843229247openalex-snapshot
Secure Information Flow via Linear Continuations
inferredcites →https://doi.org/10.1109/csf.2008.22openalex-snapshot
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
inferredcites →https://doi.org/10.1109/csfw.2006.17openalex-snapshot
Managing Policy Updates in Security-Typed Languages
inferredcites →https://doi.org/10.1109/csfw.2006.18openalex-snapshot
Non-Interference in Constructive Authorization Logic
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/percom.2005.37openalex-snapshot
Secure Context-Sensitive Authorization
inferredcites →https://doi.org/10.1109/secpri.2002.1004366openalex-snapshot
Design of a role-based trust-management framework
inferredcites →https://doi.org/10.1109/secpri.2004.1301321openalex-snapshot
Safety in automated trust negotiation
inferredcites →https://doi.org/10.1109/sp.2012.22openalex-snapshot
Sharing Mobile Code Securely with Information Flow Control
inferredcites →https://doi.org/10.1145/1016848.1016868openalex-snapshot
Translating dependency into parametricity
inferredcites →https://doi.org/10.1145/1159803.1159839openalex-snapshot
Access control in a core calculus of dependency
inferredcites →https://doi.org/10.1145/121132.121160openalex-snapshot
Authentication in distributed systems
inferredcites →https://doi.org/10.1145/1952982.1952990openalex-snapshot
Nexus authorization logic (NAL)
inferredcites →https://doi.org/10.1145/2034574.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2034773.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/596980.596983openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.14722/ndss.2014.23212openalex-snapshot
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud
inferredcites →https://doi.org/10.3233/jcs-2006-14203openalex-snapshot
Enforcing Robust Declassification and Qualified Robustness
inferredcites →https://doi.org/10.3233/jcs-2009-0364openalex-snapshot
SecPAL: Design and semantics of a decentralized authorization language
inferredcites →https://doi.org/10.3233/jcs-2012-0443openalex-snapshot
Information flow in trust management systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_17openalex-snapshot
Adaptive Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_17openalex-snapshot
Benign Interaction of Security Domains
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_23openalex-snapshot
Extending Dynamic Logics with First-Class Relational Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-032-07901-5_17openalex-snapshot
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_26openalex-snapshot
Quantitative Analysis of Smart Contracts
inferred← citeshttps://doi.org/10.1109/csf.2018.00021openalex-snapshot
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies
inferred← citeshttps://doi.org/10.1109/csf.2019.00028openalex-snapshot
Information Flow Control for Distributed Trusted Execution Environments
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00017openalex-snapshot
First-Order Logic for Flow-Limited Authorization
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919637openalex-snapshot
Applying consensus and replication securely with FLAQR
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00032openalex-snapshot
A Graded Modal Approach to Relaxed Semantic Declassification
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00015openalex-snapshot
Programming with Flow-Limited Authorization: Coarser is Better
inferred← citeshttps://doi.org/10.1145/3133956.3134054openalex-snapshot
Nonmalleable Information Flow Control
inferred← citeshttps://doi.org/10.1145/3434291openalex-snapshot
Mechanized logical relations for termination-insensitive noninterference
inferred← citeshttps://doi.org/10.1145/3453483.3454072openalex-snapshot
Scooter & Sidecar: a domain-specific approach to writing secure database migrations
inferred← citeshttps://doi.org/10.1155/2021/9913645openalex-snapshot
A Single-Label Model to Ensure Data Consistency in Information Security
inferred← citeshttps://doi.org/10.1515/sats-2023-0010openalex-snapshot
Powers that Reside in Communication
inferred← citeshttps://doi.org/10.18100/ijamec.797074openalex-snapshot
Distributed Environment Modeling using Path Compression Algorithm
inferred← citeshttps://doi.org/10.3233/jcs-15805openalex-snapshot
Fabric: Building open distributed systems securely by construction
inferred← citeshttps://doi.org/10.3233/jcs-230048openalex-snapshot
Flow-limited authorization for consensus, replication, and secret sharing1
inferred← citeshttps://doi.org/10.35193/bseufbd.592542openalex-snapshot
Dağıtık etiketleme modeli ile bilgi akış denetimi
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.