• Helios

  • Referenced in 16 articles [sw36255]
  • student govern- ment, and other environments where trustworthy, secret- ballot elections are required but coercion...
  • SoDA

  • Referenced in 15 articles [sw04510]
  • explore and the responsibility to develop trustworthy data analysis, there are chapters on using...
  • HOL Zero

  • Referenced in 12 articles [sw17594]
  • achieve the highest levels of reliability and trustworthiness through careful design and implementation...
  • CryptHOL

  • Referenced in 7 articles [sw28582]
  • relational parametricity. Thus, the resuting proofs are trustworthy and comprehensible, and the framework is extensible...
  • TCB

  • Referenced in 5 articles [sw13591]
  • trustworthy proof checker. Proof-Carrying Code (PCC) and other applications in computer security require machine...
  • Unison

  • Referenced in 4 articles [sw13307]
  • modern operating systems and middleware layers, trustworthy synchronizers are notoriously difficult to build: they must...
  • VC3

  • Referenced in 4 articles [sw23078]
  • Trustworthy Data Analytics in the Cloud Using SGX. We present VC3, the first system that...
  • Wysteria

  • Referenced in 4 articles [sw41618]
  • while making programming far easier, and more trustworthy...
  • Cogent

  • Referenced in 2 articles [sw18522]
  • /NICTA/cogent/tree/itp_2016) Cogent is an activity of the Trustworthy Systems project inside the Software System Research ... SSRG). Fundamental to our approach for developing trustworthy systems is to use a minimal trusted ... microkernel. In order to achieve overall trustworthiness, these services must be verified. As manual verification...
  • Sancus

  • Referenced in 3 articles [sw24321]
  • Sancus: low-cost trustworthy extensible networked devices with a zero-software trusted computing base...
  • REV2

  • Referenced in 3 articles [sw40657]
  • product. The fairness and reliability quantify the trustworthiness of a user and rating, respectively...
  • Smm

  • Referenced in 2 articles [sw13310]
  • mathematics on a formal level and provide trustworthy proof verification. Smm is a simplified version...
  • Russell

  • Referenced in 2 articles [sw13311]
  • formal level and to provide trustworthy proof verification and automation of routine (technical) proofs. Russell...
  • ZKCM_QC

  • Referenced in 2 articles [sw16660]
  • addition, it is numerically shown that a trustworthy simulation should be performed in multiprecision...
  • SACRM

  • Referenced in 1 article [sw21875]
  • crucial to consider the social impacts and trustworthiness of mobile users when selecting task participants ... reputation management scheme to evaluate the trustworthiness and cost performance ratio of mobile users...
  • gRUP

  • Referenced in 1 article [sw01501]
  • project schedule, budget, communication, productivity, and trustworthiness. Meanwhile, the gRUP – produced in the coarse...
  • hex-db

  • Referenced in 1 article [sw17657]
  • package – Hex – that is designed to provide trustworthy results for all basic discrete and continuous...
  • TCS

  • Referenced in 1 article [sw24605]
  • site filtering that involves overweighting the trustworthy columns. Our approach relies on the T-Coffee...
  • DevTreatRules

  • Referenced in 1 article [sw29262]
  • with a treatment rule that is trustworthy statistically, along with an estimation of rule benefit...
  • CloudSec

  • Referenced in 1 article [sw29987]
  • security solutions, relying on operating system kernel trustworthiness, no longer an effective solution to secure...