1

I'm using ProVerif 2.05 for modeling cryptographic protocols, but I'm running into errors when performing bitwise operations with the XOR function.

The error tells me that I have a type mismatch when trying to compare a bitstring to a natural number and I get an error when trying to compare the result of an XOR operation to 0 using the = operator.

let xor_result = XOR(XOR(XOR(Kn, r2), m), XOR(Hash(UID), PRNG(m))) in
if xor_result = 0 then  
    event ToServer();

I tried using XOR operations on bitstring values and then comparing the result to 0 to trigger the event if the result is zero.

I keep getting these errors :

Error: Syntax error

Error: bitstring should be a function or a predicate.

Error: Function = expects two arguments of same type but is here given 2 arguments of types bitstring, nat.

Improve this question
Related questions
0
How to verify function doing xor in python with n arguments and coercion?
174
What is the inverse function to XOR?
14
Slow bitwise operations
Load 5 more related questions Show fewer related questions

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.