14 citations · 18 across the 7 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
A Blockchain-Based Trust Management Framework with Verifiable Interactions
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epist…
cs.CR2016★ 1 cited
Compositional security and collateral leakage
N. Bordenabe, A. McIver, C Morgan +1
In quantitative information flow we say that program is "at least as secure as" just when the amount of secret information flowing from is never more than flows from $P…