Filter and export

Publications

What is a Publication?
1579 Publications visible to you, out of a total of 1579
VTABLE HIJACKING: OBJECT TYPE INTEGRITY FOR RUN- TIME TYPE INFORMATION

Abstract (Expand)

Attackers try to hijack the control-flow of a victim’s process by exploiting a run-time vulnerability. Vtable hijacking is a state-of-the-art technique adversaries use to conduct control-flow hijacking … attacks. It abuses the reliance of language constructs related to polymorphism on dynamic type information. The Control Flow Integrity (CFI) security policy is a well-established solution designed to prevent attacks that corrupt the control-flow. Deployed defense mechanisms based on CFI are often generic, which means that they do not consider high-level programming language semantics. This makes them vulnerable to vtable hijacking attacks. Object Type Integrity (OTI) is an orthogonal security policy that specifically addresses vtable hijacking. CFIXX is a Clang compiler extension that enforces OTI in the context of dynamic dispatch, which prevents vtable hijacking in this setting. However, this extension does not enforce OTI in context of polymorphism. The contribution of this work is a practical implementation to enable OTI in the context of C++’s run-time type information for the dynamic_cast expressions and the typeid operator.

Authors: Marco Schröder, Stefan Machmeier, Vincent Heuveline

Date Published: 2nd Mar 2023

Publication Type: Journal

Probabilistic solar forecasting: Benchmarks, post-processing, verification

Abstract

Not specified

Authors: Tilmann Gneiting, Sebastian Lerch, Benedikt Schulz

Date Published: 1st Mar 2023

Publication Type: Journal

Mortality by age, gene and gender in carriers of pathogenic mismatch repair gene variants receiving surveillance for early cancer diagnosis and treatment: a report from the prospective Lynch syndrome database

Abstract

Not specified

Authors: Mev Dominguez-Valentin, Saskia Haupt, Toni T. Seppälä, Julian R. Sampson, Lone Sunde, Inge Bernstein, Mark A. Jenkins, Christoph Engel, Stefan Aretz, Maartje Nielsen, Gabriel Capella, Francesc Balaguer, Dafydd Gareth Evans, John Burn, Elke Holinski-Feder, Lucio Bertario, Bernardo Bonanni, Annika Lindblom, Zohar Levi, Finlay Macrae, Ingrid Winship, John-Paul Plazzer, Rolf Sijmons, Luigi Laghi, Adriana Della Valle, Karl Heinimann, Tadeusz Dębniak, Robert Fruscio, Francisco Lopez-Koestner, Karin Alvarez-Valenzuela, Lior H. Katz, Ido Laish, Elez Vainer, Carlos Vaccaro, Dirce Maria Carraro, Kevin Monahan, Elizabeth Half, Aine Stakelum, Des Winter, Rory Kennelly, Nathan Gluck, Harsh Sheth, Naim Abu-Freha, Marc Greenblatt, Benedito Mauro Rossi, Mabel Bohorquez, Giulia Martina Cavestro, Leonardo S. Lino-Silva, Karoline Horisberger, Maria Grazia Tibiletti, Ivana do Nascimento, Huw Thomas, Norma Teresa Rossi, Leandro Apolinário da Silva, Attila Zaránd, Juan Ruiz-Bañobre, Vincent Heuveline, Jukka-Pekka Mecklin, Kirsi Pylvänäinen, Laura Renkonen-Sinisalo, Anna Lepistö, Päivi Peltomäki, Christina Therkildsen, Mia Gebauer Madsen, Stefan Kobbelgaard Burgdorf, John L. Hopper, Aung Ko Win, Robert W. Haile, Noralane Lindor, Steven Gallinger, Loïc Le Marchand, Polly A. Newcomb, Jane Figueiredo, Daniel D. Buchanan, Stephen N. Thibodeau, Magnus von Knebel Doeberitz, Markus Loeffler, Nils Rahner, Evelin Schröck, Verena Steinke-Lange, Wolff Schmiegel, Deepak Vangala, Claudia Perne, Robert Hüneburg, Silke Redler, Reinhard Büttner, Jürgen Weitz, Marta Pineda, Nuria Duenas, Joan Brunet Vidal, Leticia Moreira, Ariadna Sánchez, Eivind Hovig, Sigve Nakken, Kate Green, Fiona Lalloo, James Hill, Emma Crosbie, Miriam Mints, Yael Goldberg, Douglas Tjandra, Sanne W. ten Broeke, Revital Kariv, Guy Rosner, Suresh H. Advani, Lidiya Thomas, Pankaj Shah, Mithun Shah, Florencia Neffa, Patricia Esperon, Walter Pavicic, Giovana Tardin Torrezan, Thiago Bassaneze, Claudia Alejandra Martin, Gabriela Moslein, Pål Moller

Date Published: 1st Mar 2023

Publication Type: Journal

Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022.

Abstract (Expand)

This special issue of the Journal of Integrative Bioinformatics contains updated specifications of COMBINE standards in systems and synthetic biology. The 2022 special issue presents three updates to … the standards: CellML 2.0.1, SBML Level 3 Package: Spatial Processes, Version 1, Release 1, and Synthetic Biology Open Language (SBOL) Version 3.1.0. This document can also be used to identify the latest specifications for all COMBINE standards. In addition, this editorial provides a brief overview of the COMBINE 2022 meeting in Berlin.

Authors: M. Konig, P. Gleeson, M. Golebiewski, T. E. Gorochowski, M. Hucka, S. M. Keating, C. J. Myers, D. P. Nickerson, B. Sommer, D. Waltemath, F. Schreiber

Date Published: 1st Mar 2023

Publication Type: Journal

Gravitational wave emission from dynamical stellar interactions

Abstract

Not specified

Authors: J. Moran-Fraile, F. Schneider, F. Roepke, S. Ohlmann, R. Pakmor, T. Soultanis, A. Bauswein

Date Published: 27th Feb 2023

Publication Type: Journal

ReStoRunT: Simple Recording, Storing, Running and Tracing changes in Spreadsheets

Abstract (Expand)

In addition to the ubiquitous big data, one key challenge indata processing and management in the life sciences is the diversity ofsmall data. Diverse pieces of small data have to be transformed … intostandards-compliant data. Here, the challenge lies not in the difficulty ofsingle steps that need to be performed, but rather in the fact that manytransformation tasks are to be performed once or only a few times. Thislimits the time that can be put into automated approaches, which inturn severely limits the verifiability of such transformations.As much of the data to be processed is stored in spreadsheets, withinthis paper we justify and propose a lightweight recording-based solutionthat works on a wide variety of spreadsheet programs, from MicrosoftExcel to Google Docs.

Authors: Wolfgang Müller, Lukrecia Mertova

Date Published: 23rd Feb 2023

Publication Type: Journal

FERM domains recruit ample PI(4,5)P2s to form extensive protein-membrane attachments

Abstract (Expand)

The four-point-one ezrin-radixin-moesin homology (FERM) protein domain is a multifunctional protein-lipid binding site, constituting an integral part of numerous membrane-associated proteins. Its … interaction with the lipid phosphatidylinositol-4,5-bisphosphate (PIP2), located at the inner leaflet of eukaryotic plasma membranes, is important for localization, anchorage, and activation of FERM-containing proteins. FERM-PIP2 complexes structurally determined so far exclusively feature a 1:1 binding stoichiometry of protein and lipid, with a few basic FERM residues neutralizing the −4 charge of the bound PIP2. Whether this picture from static crystal structures also applies to the dynamic interaction of FERM domains on PIP2 membranes is unknown. We here quantified the stoichiometry of FERM-PIP2 binding in a lipid bilayer using atomistic molecular dynamics simulations and experiments on solid supported membranes for the FERM domains of focal adhesion kinase and ezrin. In contrast to the structural data, we find much higher average stoichiometries of FERM-PIP2 binding, amounting to 1:3 or 1:4 ratios, respectively. In simulations, the full set of basic residues at the membrane interface, 7 and 15 residues for focal adhesion kinase and ezrin, respectively, engages in PIP2 interactions. In addition, Na ions enter the FERM-membrane binding interface, compensating negative PIP2 charges in case of high charge surpluses from bound PIP2. We propose the multivalent binding of FERM domains to PIP2 in lipid bilayers to significantly enhance the stability of FERM-membrane binding and to render the FERM-membrane linkage highly adjustable.

Authors: Thomas Ehret, Tim Heißenberg, Svenja de Buhr, Camilo Aponte-Santamaría, Claudia Steinem, Frauke Gräter

Date Published: 21st Feb 2023

Publication Type: Journal

Powered by
 (v.1.14.2)
About HITS Publication SEEK | About HITS-Publication-SEEK | Funding and Programmes | Credits
Copyright © 2008 - 2023 The University of Manchester and HITS gGmbH