On the public citation graph

Computer Security – ESORICS 2003

https://doi.org/10.1007/b13237
0 signed · 127 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-540-39650-5_14openalex-snapshot
Bridging Model-Based and Language-Based Security
inferredcites →https://doi.org/10.1007/978-3-540-39650-5_15openalex-snapshot
An On-the-Fly Model-Checker for Security Protocol Analysis
inferredcites →https://doi.org/10.1007/978-3-540-39650-5_16openalex-snapshot
Symmetric Authentication within a Simulatable Cryptographic Library
inferredcites →https://doi.org/10.1007/978-3-540-39650-5_17openalex-snapshot
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11423409_13openalex-snapshot
On Flow Correlation Attacks and Countermeasures in Mix Networks
inferred← citeshttps://doi.org/10.1007/11423409_14openalex-snapshot
Measuring Anonymity in a Non-adaptive, Real-Time System
inferred← citeshttps://doi.org/10.1007/11423409_19openalex-snapshot
Language-Based Enforcement of Privacy Policies
inferred← citeshttps://doi.org/10.1007/11423409_2openalex-snapshot
Practical Traffic Analysis: Extending and Resisting Statistical Disclosure
inferred← citeshttps://doi.org/10.1007/11423409_3openalex-snapshot
The Traffic Analysis of Continuous-Time Mixes
inferred← citeshttps://doi.org/10.1007/11506881_6openalex-snapshot
METAL – A Tool for Extracting Attack Manifestations
inferred← citeshttps://doi.org/10.1007/11506881_8openalex-snapshot
A Learning-Based Approach to the Detection of SQL Attacks
inferred← citeshttps://doi.org/10.1007/11523468_52openalex-snapshot
Combining Intruder Theories
inferred← citeshttps://doi.org/10.1007/11553595_10openalex-snapshot
Analyzing TCP Traffic Patterns Using Self Organizing Maps
inferred← citeshttps://doi.org/10.1007/11554578_1openalex-snapshot
Justifying a Dolev-Yao Model Under Active Attacks
inferred← citeshttps://doi.org/10.1007/11554578_8openalex-snapshot
Security and Trust Requirements Engineering
inferred← citeshttps://doi.org/10.1007/11556992_36openalex-snapshot
A Practical Voting Scheme with Receipts
inferred← citeshttps://doi.org/10.1007/11558859_3openalex-snapshot
Provable Anonymity for Networks of Mixes
inferred← citeshttps://doi.org/10.1007/11562931_45openalex-snapshot
Formalization and Verification of Interaction Protocols
inferred← citeshttps://doi.org/10.1007/11575771_17openalex-snapshot
On the Controlled Evolution of Access Rules in Cooperative Information Systems
inferred← citeshttps://doi.org/10.1007/11575771_7openalex-snapshot
Balancing Flexibility and Security in Adaptive Process Management Systems
inferred← citeshttps://doi.org/10.1007/11589976_10openalex-snapshot
Enabling Security Testing from Specification to Code
inferred← citeshttps://doi.org/10.1007/11596042_77openalex-snapshot
A Survey of Anonymous Peer-to-Peer File-Sharing
inferred← citeshttps://doi.org/10.1007/11755593_19openalex-snapshot
Towards Automated Evaluation of Trust Constraints
inferred← citeshttps://doi.org/10.1007/11755593_20openalex-snapshot
Provision of Trusted Identity Management Using Trust Credentials
inferred← citeshttps://doi.org/10.1007/11759683_7openalex-snapshot
Security Protocols Verification in Abductive Logic Programming: A Case Study
inferred← citeshttps://doi.org/10.1007/11766155_10openalex-snapshot
An Algebra for Enterprise Privacy Policies Closed Under Composition and Conjunction
inferred← citeshttps://doi.org/10.1007/11766155_9openalex-snapshot
Developing Provable Secure M-Commerce Applications
inferred← citeshttps://doi.org/10.1007/11767831_4openalex-snapshot
Location Privacy for Cellular Systems; Analysis and Solution
inferred← citeshttps://doi.org/10.1007/11801412_9openalex-snapshot
Anonymous Distribution of Encryption Keys in Cellular Broadcast Systems
inferred← citeshttps://doi.org/10.1007/11805588_3openalex-snapshot
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
inferred← citeshttps://doi.org/10.1007/11836810_3openalex-snapshot
Low Latency Anonymity with Mix Rings
inferred← citeshttps://doi.org/10.1007/11930242_6openalex-snapshot
Disclosure Analysis for Two-Way Contingency Tables
inferred← citeshttps://doi.org/10.1007/11937807_11openalex-snapshot
A Revocation Scheme Preserving Privacy
inferred← citeshttps://doi.org/10.1007/978-0-387-09699-5_42openalex-snapshot
A Live Digital Forensic system for Windows networks
inferred← citeshttps://doi.org/10.1007/978-3-319-08509-8_12openalex-snapshot
Quantifiable Run-Time Kernel Attack Surface Reduction
inferred← citeshttps://doi.org/10.1007/978-3-319-10082-1_3openalex-snapshot
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
inferred← citeshttps://doi.org/10.1007/978-3-540-24638-1_4openalex-snapshot
Universally Composable Commitments Using Random Oracles
inferred← citeshttps://doi.org/10.1007/978-3-540-24747-0_24openalex-snapshot
Enhanced Accountability for Electronic Processes
inferred← citeshttps://doi.org/10.1007/978-3-540-30108-0_3openalex-snapshot
An Algebra for Composing Enterprise Privacy Policies
inferred← citeshttps://doi.org/10.1007/978-3-540-30108-0_6openalex-snapshot
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
inferred← citeshttps://doi.org/10.1007/978-3-540-30144-8_4openalex-snapshot
Low-Level Ideal Signatures and General Integrity Idealization
inferred← citeshttps://doi.org/10.1007/978-3-540-30192-9_52openalex-snapshot
Web Data Protection: Principles and Research Issues
inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_51openalex-snapshot
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-30556-9_1openalex-snapshot
Design of Secure Key Establishment Protocols: Successes, Failures and Prospects
inferred← citeshttps://doi.org/10.1007/978-3-540-32275-7_24openalex-snapshot
A Formalization of Off-Line Guessing for Security Protocol Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_10openalex-snapshot
Generic Interacting State Machines and Their Instantiation with Dynamic Features
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_20openalex-snapshot
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol
inferred← citeshttps://doi.org/10.1007/978-3-540-70500-0_10openalex-snapshot
Distributed Verification of Mixing - Local Forking Proofs Model
inferred← citeshttps://doi.org/10.1007/978-3-540-70945-9_5openalex-snapshot
Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71103-2_10openalex-snapshot
Establishing Global Properties of Multi-Agent Systems Via Local Laws
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_17openalex-snapshot
Verifying Smart Card Applications: An ASM Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-73499-4_33openalex-snapshot
A Case-Based Approach to Anomaly Intrusion Detection
inferred← citeshttps://doi.org/10.1007/978-3-540-73538-0_1openalex-snapshot
Confidentiality Policies for Controlled Query Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-540-73538-0_18openalex-snapshot
New Paradigm of Inference Control with Trusted Computing
inferred← citeshttps://doi.org/10.1007/978-3-540-74141-1_19openalex-snapshot
Case-Based Anomaly Detection
inferred← citeshttps://doi.org/10.1007/978-3-540-74320-0_1openalex-snapshot
Exploiting Execution Context for the Detection of Anomalous System Calls
inferred← citeshttps://doi.org/10.1007/978-3-540-74320-0_2openalex-snapshot
Understanding Precision in Host Based Intrusion Detection
inferred← citeshttps://doi.org/10.1007/978-3-540-74320-0_4openalex-snapshot
Swaddler: An Approach for the Anomaly-Based Detection of State Violations in Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-74409-2_11openalex-snapshot
Usage Control in Service-Oriented Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-74409-2_12openalex-snapshot
On Device-Based Identity Management in Enterprises
inferred← citeshttps://doi.org/10.1007/978-3-540-74409-2_15openalex-snapshot
Design and Implementation of Distributed Access Control Infrastructures for Federations of Autonomous Domains
inferred← citeshttps://doi.org/10.1007/978-3-540-74409-2_9openalex-snapshot
Privacy Assurance: Bridging the Gap Between Preference and Practice
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_35openalex-snapshot
A Policy Language for Distributed Usage Control
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_5openalex-snapshot
Pragmatic XML Access Control Using Off-the-Shelf RDBMS
inferred← citeshttps://doi.org/10.1007/978-3-540-74987-5_3openalex-snapshot
A Formal Framework for Adaptive Access Control Models
inferred← citeshttps://doi.org/10.1007/978-3-540-75248-6_2openalex-snapshot
Multi-layer Audit of Access Rights
inferred← citeshttps://doi.org/10.1007/978-3-540-75551-7_11openalex-snapshot
Sampled Traffic Analysis by Internet-Exchange-Level Adversaries
inferred← citeshttps://doi.org/10.1007/978-3-540-75551-7_12openalex-snapshot
Browser-Based Attacks on Tor
inferred← citeshttps://doi.org/10.1007/978-3-540-75551-7_14openalex-snapshot
Simplified Privacy Controls for Aggregated Services — Suspend and Resume of Personal Data
inferred← citeshttps://doi.org/10.1007/978-3-540-75867-9_146openalex-snapshot
Secure and Scalable Communication in Vehicle Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-76843-2_43openalex-snapshot
3-Party Approach for Fast Handover in EAP-Based Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-76929-3_5openalex-snapshot
Large Scale Simulation of Tor:
inferred← citeshttps://doi.org/10.1007/978-3-540-79104-1_2openalex-snapshot
An On-Line Secure E-Passport Protocol
inferred← citeshttps://doi.org/10.1007/978-3-540-85230-8_3openalex-snapshot
Don’t Clog the Queue! Circuit Clogging and Mitigation in P2P Anonymity Schemes
inferred← citeshttps://doi.org/10.1007/978-3-540-85855-3_26openalex-snapshot
A Universally Composable Group Key Exchange Protocol with Minimum Communication Effort
inferred← citeshttps://doi.org/10.1007/978-3-540-88313-5_10openalex-snapshot
Disclosure Analysis and Control in Statistical Databases
inferred← citeshttps://doi.org/10.1007/978-3-540-88733-1_22openalex-snapshot
Universally Composable Security Analysis of TLS
inferred← citeshttps://doi.org/10.1007/978-3-642-00887-0_39openalex-snapshot
Optimal Privacy-Aware Path in Hippocratic Databases
inferred← citeshttps://doi.org/10.1007/978-3-642-01465-9_11openalex-snapshot
A Formal Privacy Management Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-02002-5_5openalex-snapshot
Comparing State Spaces in Automatic Security Protocol Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-02918-9_13openalex-snapshot
Selecting and Improving System Call Models for Anomaly Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-03168-7_9openalex-snapshot
Enlisting ISPs to Improve Online Privacy: IP Address Mixing by Default
inferred← citeshttps://doi.org/10.1007/978-3-642-03354-4_42openalex-snapshot
Monitoring Contract Enforcement within Virtual Organizations
inferred← citeshttps://doi.org/10.1007/978-3-642-04342-0_22openalex-snapshot
Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy
inferred← citeshttps://doi.org/10.1007/978-3-642-04342-0_5openalex-snapshot
Malware Behavioral Detection by Attribute-Automata Using Abstraction from Platform and Language
inferred← citeshttps://doi.org/10.1007/978-3-642-04444-1_34openalex-snapshot
Formal Indistinguishability Extended to the Random Oracle Model
inferred← citeshttps://doi.org/10.1007/978-3-642-12459-4_13openalex-snapshot
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-12510-2_5openalex-snapshot
Designing a Side Channel Resistant Random Number Generator
inferred← citeshttps://doi.org/10.1007/978-3-642-13446-3_5openalex-snapshot
xESB: An Enterprise Service Bus for Access and Usage Control Policy Enforcement
inferred← citeshttps://doi.org/10.1007/978-3-642-14577-3_7openalex-snapshot
Implementing a High-Assurance Smart-Card OS
inferred← citeshttps://doi.org/10.1007/978-3-642-14706-7_17openalex-snapshot
Intellectual Intrusion Detection with Sequences Alignment Methods
inferred← citeshttps://doi.org/10.1007/978-3-642-15838-4_1openalex-snapshot
Privacy Disclosure Analysis and Control for 2D Contingency Tables Containing Inaccurate Data
inferred← citeshttps://doi.org/10.1007/978-3-642-17650-0_21openalex-snapshot
Anonymity and Verifiability in Voting: Understanding (Un)Linkability
inferred← citeshttps://doi.org/10.1007/978-3-642-19348-4_18openalex-snapshot
Some Ideas on Virtualized System Security, and Monitors
inferred← citeshttps://doi.org/10.1007/978-3-642-21424-0_25openalex-snapshot
Detecting Illegal System Calls Using a Data-Oriented Detection Model
inferred← citeshttps://doi.org/10.1007/978-3-642-22263-4_8openalex-snapshot
DefenestraTor: Throwing Out Windows in Tor
inferred← citeshttps://doi.org/10.1007/978-3-642-22444-7_11openalex-snapshot
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA
inferred← citeshttps://doi.org/10.1007/978-3-642-22714-1_42openalex-snapshot
An Improved Secure Authentication Protocol for WiMAX with Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-23644-0_2openalex-snapshot
Dymo: Tracking Dynamic Code Identity
inferred← citeshttps://doi.org/10.1007/978-3-642-24650-0_16openalex-snapshot
Anonymous Communication over Invisible Mix Rings
inferred← citeshttps://doi.org/10.1007/978-3-642-25261-7_6openalex-snapshot
Beyond TOR: The TrueNyms Protocol
inferred← citeshttps://doi.org/10.1007/978-3-642-25560-1_1openalex-snapshot
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms
inferred← citeshttps://doi.org/10.1007/978-3-642-25560-1_11openalex-snapshot
Taint-Enhanced Anomaly Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-25560-1_5openalex-snapshot
Flow Based Interpretation of Access Control: Detection of Illegal Information Flows
inferred← citeshttps://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot
Security Protocol Verification: Symbolic and Computational Models
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_20openalex-snapshot
Decentralized Governance of Distributed Systems via Interaction Control
inferred← citeshttps://doi.org/10.1007/978-3-642-30921-2_14openalex-snapshot
A Belief Logic for Analyzing Security of Web Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-31909-9_10openalex-snapshot
On Detection of Erratic Arguments
inferred← citeshttps://doi.org/10.1007/978-3-642-33167-1_5openalex-snapshot
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions
inferred← citeshttps://doi.org/10.1007/978-3-642-38574-2_16openalex-snapshot
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-39077-7_8openalex-snapshot
The Path Less Travelled: Overcoming Tor’s Bottlenecks with Traffic Splitting
inferred← citeshttps://doi.org/10.1007/978-3-642-40203-6_30openalex-snapshot
Patrol: Revealing Zero-Day Attack Paths through Network-Wide System Object Dependencies
inferred← citeshttps://doi.org/10.1007/978-3-642-45249-9_22openalex-snapshot
Conflict Resolution in Heterogeneous Co-allied MANET: A Formal Approach
inferred← citeshttps://doi.org/10.1007/978-3-662-43745-2_13openalex-snapshot
A Model-Driven Approach for Accountability in Business Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.049openalex-snapshot
Verified Safety and Information Flow of a Block Device
inferred← citeshttps://doi.org/10.1016/j.eswa.2014.02.041openalex-snapshot
Data-mining based SQL injection attack detection using internal query trees
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.07.009openalex-snapshot
An anomaly detection system based on variable N-gram features and one-class SVM
inferred← citeshttps://doi.org/10.1016/j.iswa.2022.200106openalex-snapshot
Role-based lateral movement detection with unsupervised learning
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.04.010openalex-snapshot
On optimal cryptographic key derivation
inferred← citeshttps://doi.org/10.1016/j.websem.2018.02.001openalex-snapshot
Publishing Privacy Logs to Facilitate Transparency and Accountability
inferred← citeshttps://doi.org/10.1145/1063979.1063997openalex-snapshot
Provable bounds for portable and flexible privacy-preserving access
inferred← citeshttps://doi.org/10.1145/3342195.3387516openalex-snapshot
Design of a symbolically executable embedded hypervisor
inferred← citeshttps://doi.org/10.1145/3676641.3716019openalex-snapshot
S nowplow : Effective Kernel Fuzzing with a Learned White-box Test Mutator
inferred← citeshttps://doi.org/10.1186/1687-1499-2012-161openalex-snapshot
A lightweight payment scheme for real-time services based on SIP
inferred← citeshttps://doi.org/10.3390/electronics15184141openalex-snapshot
Evaluating Large Language Models for Symbolic Security Protocol Analysis
inferred← citeshttps://doi.org/10.5555/1515984.1516006openalex-snapshot
Generalized access control of synchronous communication
inferred← citeshttps://doi.org/10.5815/ijcnis.2016.10.01openalex-snapshot
Computational Independence in the Design of Cryptographic Protocols
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.