[Verifpal] parse attack (2 of 2)

[Nadim Kobeissi]

Dear Mike,

Thank you for your continued feedback. This has been addressed in the latest commit to master.

Hoping to hear from you again,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Sep 7, 2019, at 9:10 PM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> hi all,
> 
> latest version from master.
> 1. runtime crash
> 2. empty queries
> 3. mess in HASH()
> 
> ===
> attacker[active]                                                                
> 
> principal Bob[                                                                  
>    generates v                                                                 
>    a = G^v                                                                     
> ]                                                                               
> principal Alice[]                                                               
> 
> Bob -> Alice: v                                                                 
> 
> principal Alice[                                                                
>    a1 = HASH(v^v)                                                              
>    f = G^a1                                                                    
>    c = HASH(G^G)                                                               
>    z = HASH(c^G)                                                               
> ]                                                                               
> queries []
> ===
> 
> (mike)
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal