Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty preservation. For this, we study the preservation of several classes of hyperproperties and for each class we propose an equivalent "property-free" characterization of secure compilation that is generally better tailored for proofs. Even the strongest of our soundness criteria, the robust preservation of all hyperproperties, seems achievable for simple transformations and provable using context back-translation techniques previously developed for showing fully abstract compilation. While proving the robust preservation of hyperproperties that are not safety requires such powerful context back-translation techniques, for preserving safety hyperproperties robustly, translating each finite trace prefix back to a source context seems to suffice

Effects of the Hydroethanolic Extract of Lycopodium selago L. on Scopolamine-Induced Memory Deficits in Zebrafish

This scientific research focused on the production of hydroethanolic extract of the plant species Lycopodium selago L. (L. selago) by the ultrasound-assisted extraction (USAE) and the identification of biocompounds with high antioxidant activity is of interest for possible phytotherapeutic treatment against Alzheimer’s disease (AD). The extract was phytochemically analyzed to investigate polyphenols, flavonoids, and identify the sesquiterpenoid alkaloid huperzine A (HupA), which is known in the literature for its great relevance in AD. Evaluation and comparison of the antioxidant activity of the extract were performed by four complementary spectrophotometric methods (DPPH, FRAP, ABTS, ORAC). In vitro tests of the extract showed an excellent reciprocal link between the concentration of polyphenols and the measurement of the antioxidant activity of the extract with the sesquiterpenoid HupA. To confirm the antioxidant activity, L. selago hydroethanolic extract was administered in vivo to zebrafish (Danio rerio) with a pattern of scopolamine-induced cognitive impairment. Moreover, this study explored a possible correlation between the expression of oxidative stress markers in the brain tissue with the behavior of the scopolamine zebrafish model. In vivo tests showed that this fern could be used as a nutritional supply and as a phytotherapeutic method to prevent or treat various neurodegenerative diseases that call for high-nutritive-value medications

Carboxymethyl guar gum nanoparticles for drug delivery applications: preparation and preliminary in-vitro investigations

Abstract Carboxymethyl guar gum (CMGG) synthesised from commercially available polysaccharide was formulated into nanoparticles via ionic gelation using trisodium trimetaphosphate (STMP) as cross-linking agent. Characterisation using a range of analytical techniques (FTIR, NMR, GPC, TGA and DLS) confirmed the CMGG structure and revealed the effect of the CMGG and STMP concentration on the main characteristics of the obtained nanoformulations. The average nanoparticle diameter was found to be around 208 nm, as determined by dynamic light scattering (DLS) and confirmed by scanning electron microscopy (SEM) and nanoparticle tracking analysis (NTA). Experiments using simulated gastric and intestinal fluids evidenced significant pH-dependent drug release behaviour of the nanoformulations loaded with Rhodamine B (RhB) as a model drug (loading capacity in excess of 83%), as monitored by UV-Vis. While dose-dependent cytotoxicity was observed, the nanoformulations appeared completely non-toxic at concentrations below 0.3 mg/mL. Results obtained so far suggest that carboxymethylated guar gum nanoparticles formulated with STMP warrant further investigations as polysaccharide based biocompatible drug nanocarriers

Hericium erinaceus (Bull.) Pers. Ethanolic Extract with Antioxidant Properties on Scopolamine-Induced Memory Deficits in a Zebrafish Model of Cognitive Impairment

Hericium erinaceus (H. erinaceus) is a rare and appreciated fungal species belonging to the division Basidiomycota used for centuries in traditional Chinese medicine for its medicinal value. This species of mushrooms brings the most diverse benefits for the human body, and can have beneficial effects for treating Alzheimer’s disease (AD). This study investigated whether ethanolic extract from the fungal biomass of H. erinaceus enhances cognitive function via the action on cholinergic neurons using the scopolamine (SCOP)-induced zebrafish (Danio rerio) model of memory impairment. The ethanolic extract from the fungal biomass of H. erinaceus was previously obtained using an ultrasonic extraction method (UE). The administration of H. erinaceus extract to zebrafish, with a pattern of AD induced by scopolamine, showed an improvement in memory evaluated by behavioral and biochemical tests on brain tissue. These results suggest that H. erinaceus has preventive and therapeutic potentials in managing memory deficits and brain oxidative stress in zebrafish with AD