Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric

While accountability is a well-known concept in distributed systems and cryptography, in the literature on blockchains (and, more generally, distributed ledgers) the formal treatment of accountability has been a blind spot: there does not exist a formalization let alone a formal proof of accountability for any blockchain yet. Therefore, in this work we put forward and propose a formal treatment of accountability in this domain. Our goal is to formally state and prove that if in a run of a blockchain a central security property, such as consistency, is not satisfied, then misbehaving parties can be identified and held accountable. Accountability is particularly useful for permissioned blockchains where all parties know each other, and hence, accountability incentivizes all parties to behave honestly. We exemplify our approach for one of the most prominent permissioned blockchains: Hyperledger Fabric in its most common instantiation

Effects of Once-Weekly Exenatide on Cardiovascular Outcomes in Type 2 Diabetes.

Abstract BACKGROUND: The cardiovascular effects of adding once-weekly treatment with exenatide to usual care in patients with type 2 diabetes are unknown. METHODS: We randomly assigned patients with type 2 diabetes, with or without previous cardiovascular disease, to receive subcutaneous injections of extended-release exenatide at a dose of 2 mg or matching placebo once weekly. The primary composite outcome was the first occurrence of death from cardiovascular causes, nonfatal myocardial infarction, or nonfatal stroke. The coprimary hypotheses were that exenatide, administered once weekly, would be noninferior to placebo with respect to safety and superior to placebo with respect to efficacy. RESULTS: In all, 14,752 patients (of whom 10,782 [73.1%] had previous cardiovascular disease) were followed for a median of 3.2 years (interquartile range, 2.2 to 4.4). A primary composite outcome event occurred in 839 of 7356 patients (11.4%; 3.7 events per 100 person-years) in the exenatide group and in 905 of 7396 patients (12.2%; 4.0 events per 100 person-years) in the placebo group (hazard ratio, 0.91; 95% confidence interval [CI], 0.83 to 1.00), with the intention-to-treat analysis indicating that exenatide, administered once weekly, was noninferior to placebo with respect to safety (P<0.001 for noninferiority) but was not superior to placebo with respect to efficacy (P=0.06 for superiority). The rates of death from cardiovascular causes, fatal or nonfatal myocardial infarction, fatal or nonfatal stroke, hospitalization for heart failure, and hospitalization for acute coronary syndrome, and the incidence of acute pancreatitis, pancreatic cancer, medullary thyroid carcinoma, and serious adverse events did not differ significantly between the two groups. CONCLUSIONS: Among patients with type 2 diabetes with or without previous cardiovascular disease, the incidence of major adverse cardiovascular events did not differ significantly between patients who received exenatide and those who received placebo. (Funded by Amylin Pharmaceuticals; EXSCEL ClinicalTrials.gov number, NCT01144338 .)

Impact of remote ischemic preconditioning on wound healing in small bowel anastomoses

AIM: To investigate the influence of remote ischemic preconditioning (RIPC) on anastomotic integrity

A Foresight Support System Using MCDM Methods

In this paper, we demonstrate the design and use of a foresight support system (FSS) combining two multi-criteria decision-making (MCDM) methods. Traditionally, foresight activities involves Delphi, focus group, or Estimate-Talk-Estimate techniques to collect opinions of an expert panel. Often, these techniques are not computerized and data visualization is rudimentary. Our highly-interactive FSS solves a number of inherent issues during the data collection, analysis, and results visualization processes. Despite that MCDM methods have been recommended for technology foresight, a validation with a real field experiment was still required. To evaluate our approach and FSS, we conducted a foresight exercise for the Swiss mobile payments market. Our research confirms that the use of MCDM methods supported with a computerized tool can enhance the foresight processes and results