NSA's 10th annual cybersecurity winning paper shows how to confirm that an algorithm satisfies certain hyper-properties which can express security policies, such as secure information flow. Great paper from an impressive field of submissions.

https://t.co/fdjyyxuTZ6 https://t.co/HipyZfropZ

Engagement Map



No retweeters found
1 retweeters not shown
For access to this functionality a Trendsmap Explore subscription is required.

A Trendsmap Explore subscription provides full access to all available timeframes

Find out more

Thanks for trying our Trendsmap Pro demo.

For continued access, and to utliise the full functionality available, you'll need to subscribe to a Trendsmap Pro subscription.

Find out more

This account is already logged in to Trendsmap.
Your subscription allows access for one user. If you require access for more users, you can create additional subscriptions.
Please Contact us if you are interested in discussing discounts for 3+ users for your organisation, or have any other queries.