Live data from Hacker News

Are timing vulnerabilities discoverable by formal verification?

news.ycombinator.com

Post reply on HN

Print view View original

1–3 of 3 posts

Are timing vulnerabilities discoverable by formal verification?

#1

Post by git_rancher » Thu, Jan 11, 2018, 7:01 PM UTC

No post body was provided.

Re: Are timing vulnerabilities discoverable by formal verification?

#2

Post by rurban » Thu, Jan 11, 2018, 10:36 PM UTC

Yes

Re: Are timing vulnerabilities discoverable by formal verification?

#3

Post by git_rancher » Fri, Jan 12, 2018, 8:14 AM UTC

rurban wrote: post #2

Yes

How is the time dimension modeled?

Post reply on HN