The following pages link to John D. Ramsdell (Q1801032):
Displayed 5 items.
- Cross-tool semantics for protocol security goals (Q1801034) (← links)
- Assumption-based analysis of distance-bounding protocols with \textsc{cpsa} (Q2037997) (← links)
- Estimation of Sparse Jacobian Matrices (Q3223806) (← links)
- Trustworthy Global Computing (Q5394799) (← links)
- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Q6104494) (← links)