Publications

What is a Publication?
1687 Publications visible to you, out of a total of 1687

Abstract

An artificial neural network protocol to compute protein–protein free energy of binding.

Authors: Matheus V. F. Ferraz, José C. S. Neto, Roberto D. Lins, Erico S. Teixeira

Date Published: 8th Mar 2023

Publication Type: Journal

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

Abstract

Not specified

Authors: Tilmann Gneiting, Sebastian Lerch, Benedikt Schulz

Date Published: 1st Mar 2023

Publication Type: Journal

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

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

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

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

Powered by
(v.1.16.0)
Copyright © 2008 - 2024 The University of Manchester and HITS gGmbH