The following pages link to Programming Languages and Systems (Q5308695):
Displaying 6 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- (Q4370271) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- Perspectives of System Informatics (Q5902417) (← links)