Formal Network Models and Their Application to Firewall Policies (UPF-Firewall)

We present a formal model of network protocols and their application to modeling firewall policies. The formalization is based on the Unified Policy Framework (UPF). The formalization was originally developed with for generating test cases for testing the security configuration actual firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level protocols on top of tcp/ip

Formal Network Models and Their Application to Firewall Policies

This is the final version. Available from AFP via the link in this recordWe present a formal model of network protocols and their application to modeling firewall policies. The formalization is based on the Unified Policy Framework (UPF). The formalization was originally developed with for generating test cases for testing the security configuration actual firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level protocols on top of tcp/ip

Surveillance for European bat lyssavirus in Swiss bats

Most countries in Western Europe are currently free of rabies in terrestrial mammals. Nevertheless, rabies remains a residual risk to public health due to the natural circulation of bat-specific viruses, such as European bat lyssaviruses (EBLVs). European bat lyssavirus types 1 and 2 (EBLV-1 and EBLV-2) are widely distributed throughout Europe, but little is known of their true prevalence and epidemiology. We report that only three out of 837 brains taken from bats submitted to the Swiss Rabies Centre between 1976 and 2009 were found by immunofluorescence (FAT) to be positive for EBLVs. All three positive cases were in Myotis daubentoni, from 1992, 1993 and 2002. In addition to this passive surveillance, we undertook a targeted survey in 2009, aimed at detecting lyssaviruses in live bats in Switzerland. A total of 237 bats of the species M. daubentoni, Myotis myotis, Eptesicus serotinus and Nyctalus noctula were captured at different sites in western Switzerland. Oropharyngeal swabs and blood from each individual were analysed by RT-PCR and rapid fluorescent focus inhibition test (RFFIT), respectively. RNA corresponding to EBLV-2 was detected from oropharyngeal swabs of a single M. daubentoni bat, but no infectious virus was found. Molecular phylogenetic analysis revealed that the corresponding sequence was closely related to the other EBLV-2 sequences identified in previous rabies isolates from Swiss bats (particularly to that found at Geneva in 2002). Three M. daubentoni bats were found to be seropositive by RFFIT. In conclusion, even though the prevalence is low in Switzerland, continuous management and surveillance are required to assess the potential risk to public healt

Internet fragmentation, political structuring, and organizational concentration in transnational engineering networks

Is the internet at risk of fragmentation? Whereas the literature has examined this question with a focus on domestic policies, communication standards, and internet governance institutions, we analyze fragmentation and alternative outcomes in transnational engineering networks. These networks constitute the social foundations of the unified or ‘global’internet. Our contributions include (1) broadening the debate beyond fragmentation-related network outcomes to include political structuring and organizational concentration, and (2) new evidence from an important engineering network around the Internet Engineering Task Force comprising thousands of participants and over four decades. Our analyses reveal fast and continuous network growth as well as clear signs of growing concentration of the network around a few major companies. A key implication is that, at the level of engineering networks, concerns about internet fragmentation might be unfounded and might distract from more salient developments such as organizational concentration

Cosmic-ray strangelets in the Earth's atmosphere

If strange quark matter is stable in small lumps, we expect to find such lumps, called ``strangelets'', on Earth due to a steady flux in cosmic rays. Following recent astrophysical models, we predict the strangelet flux at the top of the atmosphere, and trace the strangelets' behavior in atmospheric chemistry and circulation. We show that several strangelet species may have large abundances in the atmosphere; that they should respond favorably to laboratory-scale preconcentration techniques; and that they present promising targets for mass spectroscopy experiments.Comment: 28 pages, 4 figures, revtex

Standardization of in vitro digestibility and DIAAS method based on the static INFOGEST protocol

Resumen de la conferencia invitada presentada en el 7th International Conference on Food Digestion. Cork, Irlanda. 3-5 Mayo (2022

Identification of plasma lipid biomarkers for prostate cancer by lipidomics and bioinformatics

Background: Lipids have critical functions in cellular energy storage, structure and signaling. Many individual lipid molecules have been associated with the evolution of prostate cancer; however, none of them has been approved to be used as a biomarker. The aim of this study is to identify lipid molecules from hundreds plasma apparent lipid species as biomarkers for diagnosis of prostate cancer. Methodology/Principal Findings: Using lipidomics, lipid profiling of 390 individual apparent lipid species was performed on 141 plasma samples from 105 patients with prostate cancer and 36 male controls. High throughput data generated from lipidomics were analyzed using bioinformatic and statistical methods. From 390 apparent lipid species, 35 species were demonstrated to have potential in differentiation of prostate cancer. Within the 35 species, 12 were identified as individual plasma lipid biomarkers for diagnosis of prostate cancer with a sensitivity above 80%, specificity above 50% and accuracy above 80%. Using top 15 of 35 potential biomarkers together increased predictive power dramatically in diagnosis of prostate cancer with a sensitivity of 93.6%, specificity of 90.1% and accuracy of 97.3%. Principal component analysis (PCA) and hierarchical clustering analysis (HCA) demonstrated that patient and control populations were visually separated by identified lipid biomarkers. RandomForest and 10-fold cross validation analyses demonstrated that the identified lipid biomarkers were able to predict unknown populations accurately, and this was not influenced by patient's age and race. Three out of 13 lipid classes, phosphatidylethanolamine (PE), ether-linked phosphatidylethanolamine (ePE) and ether-linked phosphatidylcholine (ePC) could be considered as biomarkers in diagnosis of prostate cancer. Conclusions/Significance: Using lipidomics and bioinformatic and statistical methods, we have identified a few out of hundreds plasma apparent lipid molecular species as biomarkers for diagnosis of prostate cancer with a high sensitivity, specificity and accuracy

Discrete Improvement in Racial Disparity in Survival among Patients with Stage IV Colorectal Cancer: a 21-Year Population-Based Analysis

Purpose: Recently, multiple clinical trials have demonstrated improved outcomes in patients with metastatic colorectal cancer. This study investigated if the improved survival is race dependent. Patients and Methods: Overall and cancer-specific survival of 77,490 White and Black patients with metastatic colorectal cancer from the 1988-2008 Surveillance Epidemiology and End Results registry were compared using unadjusted and multivariable adjusted Cox proportional hazard regression as well as competing risk analyses. Results: Median age was 69years, 47.4% were female and 86.0% White. Median survival was 11months overall, with an overall increase from 8 to 14months between 1988 and 2008. Overall survival increased from 8 to 14months for White, and from 6 to 13months for Black patients. After multivariable adjustment, the following parameters were associated with better survival: White, female, younger, better educated and married patients, patients with higher income and living in urban areas, patients with rectosigmoid junction and rectal cancer, undergoing cancer-directed surgery, having well/moderately differentiated, and N0 tumors (p < 0.05 for all covariates). Discrepancies in overall survival based on race did not change significantly over time; however, there was a significant decrease of cancer-specific survival discrepancies over time between White and Black patients with a hazard ratio of 0.995 (95% confidence interval 0.991-1.000) per year (p = 0.03). Conclusion: A clinically relevant overall survival increase was found from 1988 to 2008 in this population-based analysis for both White and Black patients with metastatic colorectal cancer. Although both White and Black patients benefitted from this improvement, a slight discrepancy between the two groups remained