Automated analysis of security protocols with global state

5 March 2014

Robert Künnemann

Papers citing "Automated analysis of security protocols with global state"

3 / 3 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 26 0 0 09 Apr 2025
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 36 1 0 27 Aug 2022
Automated verification of dynamic root of trust protocols (long version) Sergiu Bursuc Christian Johansen Shiwei Xu 16 4 0 30 Jan 2017