Output details
11 - Computer Science and Informatics
University of Edinburgh
Output title
StatVerif : Verification of Stateful Processes
Type
E - Conference contribution
Name of conference/published proceedings
2011 IEEE 24th Computer Security Foundations Symposium
Volume number
-
Issue number
-
First page of article
33
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
2
Additional information
<10> Originality: Many real-life applications rely on persistent state. This work presents the first theory and tool able to automatically analyse such stateful systems.
Significance: The developed theory and implemented tool have since been used in the Birmingham computer security group to analyse systems such as Microsoft BitLocker and Flickr [CSF'11, TGC'13]. Arapinis presented this work by invitation in 2011 at ENS de Cachan and LORIA (leading institutions in security verification).
Rigour: Paper accepted at the main conference on theory of computer security. It was invited and accepted to a Theoretical Computer Security special issue of selected papers from CSF'11.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
