Results 91 to 100 of about 3,620,659 (295)
Human-centred cyber secure software engineering. [PDF]
Renaud K.
europepmc +1 more source
This paper shows that size‐exclusion chromatography and sequential centrifugation applied to seminal plasma enrich for different populations of extracellular vesicles. This may significantly affect the detection and analysis of extracellular vesicle‐associated cancer biomarkers.
Elen Telumyan +8 more
wiley +1 more source
A Survey on Design Methods for Secure Software Development [PDF]
Software provide services that may come with some vulnerabilities or risks. Attackers perform actions that break security of system through threats and cause a failure.
Amjad Hudaib +7 more
core +1 more source
Performance Evaluation of Attribute-Based Encryption in Automotive Embedded Platform for Secure Software Over-The-Air Update. [PDF]
La Manna M +4 more
europepmc +1 more source
Spatial heterogeneity of hotspot mutations and clonal relatedness in ovarian endometrioid carcinoma
Spatially resolved analysis revealed heterogeneous distributions of selected cancer‐associated mutations within ovarian endometrioid carcinomas. Shared mutations between paired endometrial and ovarian tumors supported clonal relatedness. These findings highlight the value of sampling multiple tumor regions when interpreting molecular profiles ...
Takahito Ashihara +10 more
wiley +1 more source
Automating Risk Analysis of Software Design Models
The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development ...
Maxime Frydman +4 more
doaj +1 more source
USP7 inhibits FOXO1 activity in chronic lymphocytic leukaemia cells enhancing cell survival
CLL cells rely on BCR‐mediated signalling for survival and proliferation in part through suppression of FOXO1. FOXO1 activity is regulated by a plethora of post‐translational modifications including phosphorylation and ubiquitination. We demonstrated that dual inhibition of BCR signalling and the deubiquitinase USP7 activates FOXO1, modulating its ...
Hassan N.B. Almuhanna +8 more
wiley +1 more source
Secure Software Development: A Developer Level Analysis [PDF]
Developing secure software is still an important issue in the computing world. Big software firms spend huge sums of money to offer secure software and systems.
Ayaburi, Emmanuel W., Talebi, Nasim
core
Engineering Secure Software and Systems (ESSoS 2014)
International audienceThis book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014.
Jürjens, Jan +2 more
core +1 more source
Supplemental file(s) description: Coq Code for FOCAL, Coq code for FLAFOL ; In order to build machine-checked proven-secure software, we need formal se curity policies that express what it means to be “secure.” We must then show that the semantics of our software matches the semantics of those policies.
openaire +2 more sources

