Results 91 to 100 of about 5,296 (299)
Safe abstractions of data encodings in formal security protocol models [PDF]
When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Loss of proton‐sensing TDAG8 increases tumor progression in mouse models of colon cancer
Loss of the pH‐sensing receptor TDAG8 accelerates colorectal cancer progression in mice. Animals lacking TDAG8 expression had increased tumor growth, DNA damage, and recruitment of tumor‐associated immune cells, including macrophages, neutrophils, and monocytes.
Ermanno Malagola +11 more
wiley +1 more source
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller +10 more
wiley +1 more source
Provable security EPC information service communication scheme for EPC network
To resolve the security drawbacks of EPC information services, a provable security EPC information service communication scheme—ESCM was designed. By using some cryptographic mechanisms such as the digital signature and the message authentication code ...
Jing-feng LI, Heng PAN, Wei-feng GUO
doaj +2 more sources
CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
The BLAKE2 Cryptographic Hash and Message Authentication Code (MAC): IETF RFC 7693
This document describes the cryptographic hash function BLAKE2 and makes the algorithm specification and C source code conveniently available to the Internet community.
Saarinen, Markku-Juhani +1 more
core +1 more source
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn +4 more
wiley +1 more source
ZMAC+ – An Efficient Variable-output-length Variant of ZMAC
There is an ongoing trend in the symmetric-key cryptographic community to construct highly secure modes and message authentication codes based on tweakable block ciphers (TBCs).
Eik List, Mridul Nandi
doaj +1 more source
Development of human monoclonal antibodies against TARM1 by yeast display
Human monoclonal antibodies against TARM1 are generated by yeast display‐guided selection. These antibodies bind to soluble and cell‐surface forms of TARM1. Also, these antibodies exhibit agonistic activity in the NFAT‐GFP reporter assay, indicating that TARM1 signaling can be functionally modulated by antibodies and suggesting TARM1 as a potential ...
Rikio Yabe +5 more
wiley +1 more source
In this paper an efficient implementation, in terms of performance, of the Keyed-Hash Message Authentication Code (HMAC) using the SHA-1 hash function is presented. This mechanism is used for message authentication in combination with a shared secret key.
Kakarountas, Athanasios P. +2 more
core +1 more source

