hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

ProVerif queries from a hax-lib annotation

Open jschneider-bensch opened this issue 1 year ago • 3 comments

We can perhaps use precondition attributes to generate simple correspondence queries in the ProVerif backend.

jschneider-bensch avatar Nov 25 '24 08:11 jschneider-bensch

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Jan 30 '25 01:01 github-actions[bot]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Sep 25 '25 00:09 github-actions[bot]

Should be fixed as a larger pass on the annotation language in general.

W95Psp avatar Sep 25 '25 11:09 W95Psp