Assurance for CyberSecurity with Assume-Guarantee Reasoning. - Ali Alfageeh; Siddhartha Bhattacharyya; Samuel J. Perl; Milankumar Patel (UEMCON, 2019)

Formal Trust Architecture for Assuring Trusted Interactions in the Internet of Things. - Milankumar Patel; Siddhartha Bhattacharyya; Ali Alfageeh (UEMCON, 2019)