SideTrail: Verifying Time-Balancing of Cryptosystems

First Author: Athanasiou K

Attributed to: Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-03592-1_12

Publication URI: http://dx.doi.org/10.1007/978-3-030-03592-1_12

Type: Book Chapter

Book Title: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (2018)

Page Reference: 215-228