3 ms·
In my crypto lecture we did automatic protocol verification using proverif. Since here the implementation is at fault, and not the protocol, the next thing seem
by archi42 8y ago
In my crypto lecture we did automatic protocol verification using proverif. Since here the implementation is at fault, and not the protocol, the next thing seems to be a (proven) compiler from the (proven) protocol specification to an implementation?