Pages that link to "Item:Q2368990"

The following pages link to A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990):

Displaying 26 items.

• Layout randomization and nondeterminism (Q265789) (← links)
• A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
• Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
• Algebra and logic for access control (Q968301) (← links)
• On the relationships between notions of simulation-based security (Q1021241) (← links)
• Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
• State separation for code-based game-playing proofs (Q1710673) (← links)
• Task-structured probabilistic I/O automata (Q1745718) (← links)
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Q1887729) (← links)
• The RSA group is pseudo-free (Q2267366) (← links)
• Formal security proofs with minimal fuss: implicit computational complexity at work (Q2343128) (← links)
• Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
• A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563) (← links)
• Simulation and analysis of cryptographic protocols (Q2765456) (← links)
• Probabilistic Termination and Composability of Cryptographic Protocols (Q2829949) (← links)
• The computational SLR: a logic for reasoning about computational indistinguishability (Q3060197) (← links)
• A Probabilistic Applied Pi–Calculus (Q3498438) (← links)
• The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (Q3637209) (← links)
• (Q4493893) (← links)
• A Calculus for Game-Based Security Proofs (Q4933210) (← links)
• Foundations of Software Science and Computation Structures (Q5308472) (← links)
• Layout Randomization and Nondeterminism (Q5418953) (← links)
• Automata, Languages and Programming (Q5716777) (← links)
• Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)
• CONCUR 2003 - Concurrency Theory (Q5900575) (← links)