3 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.CR2005★ 1 cited
Timed Analysis of Security Protocols
R. Corin, S. Etalle, P. H. Hartel +1
We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete…
cs.CR2004★ 3 cited
A Trace Logic for Local Security Properties
Ricardo Corin, Antonio Durante, Sandro Etalle +1
We propose a new simple \emph{trace} logic that can be used to specify \emph{local security properties}, i.e. security properties that refer to a single participant of the protocol…
quant-ph1998
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
Michael Butler, Pieter Hartel
Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algor…