EXPLORE THE UNIVERSITY OF OXFORD'S WORLD-CLASS RESEARCH

1 - 2 of 2
1
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
2
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