corpus.blog
41,554 blogs · 5,181,941 posts Claim your blog
Record · corpus.blog/posts/01a08c5c-70a5-729c-a089-d77690d853e7

A Formal Security Verification Challenge

verse.systems · published 2 March 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at verse.systems Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
20
Words captured
3,248

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://bitbucket.org/covern/secc/src/ct/examples/case-studies/wordle.c
bitbucket.org
https://bitbucket.org/covern/secc/
bitbucket.org
https://www.sosy-lab.org/people/ernst/
sosy-lab.org
https://en.wikipedia.org/wiki/Information_flow_(information_theory
en.wikipedia.org
https://www.ieee-security.org/TC/SP2013/papers/4977a415.pdf
ieee-security.org
https://sel4.systems
sel4.systems
https://en.wikipedia.org/wiki/Timing_attack
en.wikipedia.org
https://github.com/0xADE1A1DE/Mastik
github.com
https://en.wikipedia.org/wiki/Threat_model
en.wikipedia.org
https://arxiv.org/abs/1810.05345
arxiv.org
https://en.wikipedia.org/wiki/Side-channel_attack
en.wikipedia.org
https://bitbucket.org/covern/secc/raw/695d5e2d0662b6bd255745a23fa169a75ec595f7/examples/case-studies/wordle.c
bitbucket.org
https://en.wikipedia.org/wiki/Hoare_logic
en.wikipedia.org
https://arxiv.org/abs/2007.06421
arxiv.org
https://covern.org
covern.org
https://bitbucket.org/covern/secc/commits/7ad27a035332bce4d72f3521017f2c07eb8aa9bc
bitbucket.org
https://bitbucket.org/covern/seccsl/commits/0aafefa5a4e14a323fbb2ca5ec5e8d1af87ae828
bitbucket.org
https://people.eng.unimelb.edu.au/tobym/papers/cav2019.pdf
people.eng.unimelb.edu.au
https://bitbucket.org/covern/seccsl
bitbucket.org
https://isabelle.in.tum.de/
isabelle.in.tum.de
Elsewhere on verse.systems (2)