Pages that link to "Item:Q5176981"
From MaRDI portal
The following pages link to Secure distributed programming with value-dependent types (Q5176981):
Displaying 3 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← links)
