Research area
Cryptographic protocols
Designing and implementing security protocols that do what they claim.
The question
Does this protocol actually provide the guarantees it was designed for?
Our angle
How we approach it.
Most protocol failures happen in implementation, not on paper. We design and review both.
What it covers
- Protocol design and analysis
- Secure implementation
- Key management and provisioning
Outcomes
- TBC · outcome or result that can be evidenced