Login / Signup
Michael McCall
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Automated Trust Negotiation
Formal Verification
Model Checker
Trust Evaluation
Top Venues
RTNS
</>
Publications
</>
Ruben Martins
,
Michael McCall
,
Dionisio de Niz
,
Amit Vasudevan
,
Björn Andersson
,
Mark Klein
,
John P. Lehoczky
,
Hyoseung Kim
Formal Verification of a Mixed-Trust Synchronization Protocol.
RTNS
(2021)