On the public citation graph
Design Space Exploration for Security
0 signed · 44 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.1007/3-540-44577-3_12openalex-snapshot
Progress on the State Explosion Problem in Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_20openalex-snapshot
Dafny: An Automatic Program Verifier for Functional Correctness
inferredcites →https://doi.org/10.1007/978-3-642-21292-5_3openalex-snapshot
An Approach for Effective Design Space Exploration
inferredcites →https://doi.org/10.1007/978-3-642-22792-9_5openalex-snapshot
Computer-Aided Security Proofs for the Working Cryptographer
inferredcites →https://doi.org/10.1007/bf01384314openalex-snapshot
A technique of state space search based on unfolding
inferredcites →https://doi.org/10.1016/j.scico.2013.05.004openalex-snapshot
A model-integrated authoring environment for privacy policies
inferredcites →https://doi.org/10.1016/s0004-3702(99)00039-9openalex-snapshot
Enhancing model checking in verification by AI techniques
inferredcites →https://doi.org/10.1109/csf.2010.27openalex-snapshot
Towards a Formal Foundation of Web Security
inferredcites →https://doi.org/10.1109/csf.2012.27openalex-snapshot
Discovering Concrete Attacks on Website Authorization by Formal Analysis
inferredcites →https://doi.org/10.1109/csfw.2001.930138openalex-snapshot
An efficient cryptographic protocol verifier based on prolog rules
inferredcites →https://doi.org/10.1109/csnt.2011.141openalex-snapshot
Formal Verification of OAuth 2.0 Using Alloy Framework
inferredcites →https://doi.org/10.1109/secpri.2002.1004377openalex-snapshot
Automated generation and analysis of attack graphs
inferredcites →https://doi.org/10.1109/sp.2014.49openalex-snapshot
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System
inferredcites →https://doi.org/10.1145/1455770.1455782openalex-snapshot
Robust defenses for cross-site request forgery
inferredcites →https://doi.org/10.1145/1629575.1629604openalex-snapshot
Improving application security with data flow assertions
inferredcites →https://doi.org/10.1145/2103621.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2103656.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2382196.2382238openalex-snapshot
The devil is in the (implementation) details
inferredcites →https://doi.org/10.1145/2660267.2660323openalex-snapshot
OAuth Demystified for Mobile Application Developers
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic protocols
inferredcites →https://doi.org/10.1145/2676726.2677003openalex-snapshot
From Network Interface to Multithreaded Web Applications
inferredcites →https://doi.org/10.1145/2950290.2950356openalex-snapshot
Multi-representational security analysis
inferredcites →https://doi.org/10.3923/itj.2013.2273.2285openalex-snapshot
Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model
inferredcites →https://doi.org/10.4135/9781473960367.n143openalex-snapshot
Internet Engineering Task Force
inferredcites →https://doi.org/10.5555/2685048.2685062openalex-snapshot
Ironclad apps: end-to-end security via automated full-system verification
inferredcites →https://doi.org/10.5860/choice.44-2746openalex-snapshot
Software abstractions: logic, language and analysis
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-29983-5_11openalex-snapshot
Optimising Architectures for Performance, Cost, and Security
inferred← citeshttps://doi.org/10.1007/978-3-030-54549-9_25openalex-snapshot
Towards an Automated Exploration of Secure IoT/CPS Design-Variants
inferred← citeshttps://doi.org/10.1109/cybersa49311.2020.9139631openalex-snapshot
A Design Exploration Framework for Secure IoT-Systems
inferred← citeshttps://doi.org/10.1109/dsd.2019.00082openalex-snapshot
Consideration of Security Attacks in the Design Space Exploration of Embedded Systems
inferred← citeshttps://doi.org/10.1109/fdl.2019.8876944openalex-snapshot
Security Driven Design Space Exploration for Embedded Systems
inferred← citeshttps://doi.org/10.1109/iecon43393.2020.9254556openalex-snapshot
Multi-Layered IoT System Design Towards End-to-End Secure Communication
inferred← citeshttps://doi.org/10.1145/3126553openalex-snapshot
An Automated Security-Aware Approach for Design of Embedded Systems on MPSoC
inferred← citeshttps://doi.org/10.1145/3430372openalex-snapshot
Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3476883.3520217openalex-snapshot
Integrating vulnerability risk into the software process
inferred← citeshttps://doi.org/10.4018/ijtd.300744openalex-snapshot
Embedded Systems Design Space Exploration Under Security Constraints
inferred← citeshttps://doi.org/10.5381/jot.2020.19.2.a11openalex-snapshot
Systematic Evaluation of Model Comparison Algorithms using Model Generation.
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.