theme image

formal methods

formal methods
profile
Using strategy objectives for network security analysis
network security

Using strategy objectives for network security analysis

Inscrypt 2009

Extending anticipation games with location penalty and timeline
network security

Extending anticipation games with location penalty and timeline

FAST 2008

Netqi a model checker for anticipation game
network security

Netqi a model checker for anticipation game

ATVA 2008

A logical framework for evaluating network resilience against faults and attacks
network security

A logical framework for evaluating network resilience against faults and attacks

ASIAN 2007

newsletter signup slide

Get cutting edge research directly in your inbox.

newsletter signup slide

Get cutting edge research directly in your inbox.