Commit 2d7f8aef authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Merge branch 'master' of

parents 05c3afee fb4fbd96
......@@ -73,7 +73,7 @@ and is to our knowledge the first combined application of model
learning and model checking in verifying SSH implementations, or more
generally, implementations of any network security protocol.
Model learning has previously been applied to infer state machines of
Model learning has previously been used to infer state machines of
EMV bank cards~\cite{Aarts2013Formal}, electronic
passports~\cite{Aarts2010Inference}, hand-held readers for online
banking~\cite{Chalupar2014Automated}, and implementations of
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment