SideTrail: Verifying Time-Balancing of Cryptosystems
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