A Formal-Semantics-Based Calculus of Trust
Jingwei Huang(The University of Texas Southwestern Medical Center), David M. Nicol(University of Illinois Urbana-Champaign)
Cited by 66
Related Papers
Block Quantization of Correlated Gaussian Random Variables
|IRE Transactions on Communications Systems|1963|387
Fabrication of Circularly Polarized MR‐TADF Emitters with Asymmetrical Peripheral‐Lock Enhancing Helical B/N‐Doped Nanographenes
|Advanced Materials|2021|270
A critical assessment of using ChatGPT for extracting structured data from clinical notes
|npj Digital Medicine|2024|237
Trust mechanisms for cloud computing
|Journal of Cloud Computing Advances Systems and Applications|2013|223
6-DOF VR videos with a single 360-camera
|Unknown|2017|169