Andrew Bedford

Learn More
The objective of this article is to review the available literature on the epidemiology, predisposing factors, and conditions associated with primary gallbladder cancer, and to discuss the role of prophylactic cholecystectomy in high-risk patient populations. Gallbladder cancer is a highly malignant tumor with a poor 5-yr-survival rate. It is a tumor of the(More)
Viral hepatitis accounts for substantial morbidity and mortality worldwide, To date, the molecular sequences of six hepatotropic viruses have been described and designated hepatitis A, B, C, D, E, and G. Various methods have been employed to decrease the occurrence of these diseases, and advances in vaccination strategies have aided in prevention of viral(More)
BACKGROUND With more than two billion people infected worldwide, soil-transmitted helminths (STH) are the most widespread infections. To date, STH control efforts rely predominantly on recurrent mass drug administration (MDA), which does not prevent reinfection. Additional public health measures including novel health educational tools are required for more(More)
This paper presents an approach to enforce information flow policies using a multi-valued type-based analysis followed by an instrumentation when needed. The target is a core imperative language. Our approach aims at reducing false positives generated by static analysis, and at reducing execution overhead by instrumenting only when needed. False positives(More)
We present a novel progress-sensitive, ow-sensitive hybrid informationow control monitor for an imperative interactive language. Progress-sensitive informationow control is a strong information security guarantee which ensures that a program's progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is(More)
  • 1