Results 121 to 130 of about 2,510 (186)

Relational Symbolic Execution in WebAssembly

, 2020
WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. Our work is based in the approach of using formal verification in order to prove that for a program one or more security properties hold ...
openaire   +1 more source

Bioconductor: Planning a third decade of comprehensive support for genomic data science. [PDF]

Patterns (N Y)
Carey VJ.
europepmc   +1 more source

ViralWasm: a client-side user-friendly web application suite for viral genomics. [PDF]

Bioinformatics
Ji D, Aboukhalil R, Moshiri N.
europepmc   +1 more source

Machine learning for N-dimensional spatial reasoning tasks on the web. [PDF]

Front Bioinform
Moody B, Kim J, Kim S, Haehn D.
europepmc   +1 more source

MakeSBML: a tool for converting between Antimony and SBML. [PDF]

J Integr Bioinform
Jardine BE, Smith LP, Sauro HM.
europepmc   +1 more source

libsbmljs-Enabling web-based SBML tools. [PDF]

Biosystems, 2020
Medley JK, Hellerstein J, Sauro HM.
europepmc   +1 more source

Wasm-iCARE: a portable and privacy-preserving web module to build, validate, and apply absolute risk models. [PDF]

JAMIA Open
Balasubramanian JB, Choudhury PP, Mukhopadhyay S, Ahearn T, Chatterjee N, García-Closas M, Almeida JS.   +6 more
europepmc   +1 more source

Marigold: a machine learning-based web app for zebrafish pose tracking. [PDF]

BMC Bioinformatics
Teicher G, Riffe RM, Barnaby W, Martin G, Clayton BE, Trapani JG, Downes GB.   +6 more
europepmc   +1 more source

Software Diversification for WebAssembly

WebAssembly, now the fourth ocially recognized web language, enables web browsers to port native applications to the Web. Furthermore, WebAssembly has evolved into an essential element for backend scenarios such as cloud and edge computing. Therefore, WebAssembly finds use in a plethora of applications, including but not limited to, web browsers ...
openaire   +1 more source

A dataset on vulnerabilities affecting dependencies in software package managers. [PDF]

Data Brief
Márquez AG, Varela-Vaca ÁJ, Gómez López MT.   +2 more
europepmc   +1 more source