EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

1 - 3 of 3
1
Journal article icon
Journal article

The making of continuous colormaps

  • Nardini, P, Chen, M, Samsel, F, et al.
  • 2019-12-23
File available icon
Peer reviewed icon
Link to publisher copy available icon
2
Journal article icon
Journal article

Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol

  • Cremers, C
  • 2011-01-28
File available icon
Peer reviewed icon
Link to publisher copy available icon
3
Thesis icon
Thesis

Techniques and tools for the verification of concurrent systems

  • Palikareva, H
  • 2012
File available icon
Not peer reviewed icon
Link to publisher copy not available icon
FILTER RESULTS

TO TOP