Skip to main content
Home
Publications
Blog
Talks
Podcasts
About
Contact Me
Search the archive
formal methods
formal methods
Filter by
Type
all
Blogs
Talks
Publications
Order by
latest
oldest
Search
No Results Found, Please Adjust Your Search
Cybersecurity
Using strategy objectives for network security analysis
Inscrypt
2009
Cybersecurity
Extending anticipation games with location penalty and timeline
FAST
2008
Cybersecurity
Netqi a model checker for anticipation game
ATVA
2008
Cybersecurity
A logical framework for evaluating network resilience against faults and attacks
ASIAN
2007
Get cutting edge research directly in your inbox.
Email address
I am in!
Get cutting edge research directly in your inbox.
Email address
I am in!