Steve Anton

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Cryptographic Protocols

Planning Process

Top Venues

Publications

Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
Planning for change in a formal verification of the raft consensus protocol. CPP (2016)