Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1504.04768
Cited By
v1
v2
v3 (latest)
Partial Order Reduction for Security Protocols
18 April 2015
David Baelde
S. Delaune
L. Hirschi
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Partial Order Reduction for Security Protocols"
4 / 4 papers shown
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties
Szu-Yeu Hu
114
12
0
06 Nov 2018
POR for Security Protocol Equivalences: Beyond Action-Determinism
David Baelde
S. Delaune
L. Hirschi
99
2
0
10 Apr 2018
A Type System for Privacy Properties (Technical Report)
V. Cortier
Niklas Grimm
Joseph Lallemand
Matteo Maffei
141
2
0
28 Aug 2017
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
S. Delaune
L. Hirschi
187
36
0
26 Oct 2016
1
Page 1 of 1
