Trustworthy Systems

Analysis of Protocols for High-assurance Networks

Activities

 

Publications

 

2017

Abstract PDF Rob van Glabbeek and Peter Hoefner
Split, send, reassemble: A formal specification of a CAN bus protocol stack
2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), pp. 14-52, Uppsala, Sweden, April, 2017

 

Reports

Abstract PDF Robert van Glabbeek and
Final verification of network protocol
November 2016
Abstract PDF Robert van Glabbeek and Peter Höfner
SMACCM Milestone Report: Preliminary trusted gateway implementation
February 2016
Abstract PDF Robert van Glabbeek and Peter Höfner
SMACCM Milestone Report: Preliminary verification of network protocol
November 2015
Abstract PDF Robert van Glabbeek and Peter Höfner
SMACCM Milestone Report: Formal specification of protocols for internal high-assurance network
July 2015
Abstract PDF Robert van Glabbeek, and Peter Höfner
SMACCM Milestone Report: Preliminary formal specification of protocols for internal high-assurance network
October 2014
Abstract PDF Robert van Glabbeek, Peter Höfner and Gerwin Klein
with contributions by Thomas M. DuBuisson, Galois Inc
SMACCM Milestone Report: Network protocol analysis
January 2014
Abstract PDF Robert van Glabbeek, Peter Höfner and Gerwin Klein
SMACCM Milestone Report: Preliminary network protocol analysis
April 2013