search

darrenldl / ProVerif-ATP

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
23 stars 4 forks source link

Update Narrator to recognise cases of => with multiple antecedents #9

Open darrenldl opened 5 years ago

darrenldl commented 5 years ago

See following non-exclusive list for examples where Narrator fails