1,720,982 research outputs found
Vascular PDGFR-alpha protects against BBB dysfunction after ischemic stroke
富山大学博士(医学)富山大学・富生命博甲第126号・NGUYEN QUANG LINH・2020/09/28・★論文非公開★Articl
Hardware Trust : Design Solutions for Logic Locking
Des menaces de sécurité telles que la surproduction de circuits intégrés (IC), le piratage de la propriété intellectuelle (IP) ou l'insertion de chevaux de Troie matériels sont apparues dues à l'externalisation de certaines phases de conception / production auprès de sous-traitants externes, par exemple une fonderie offshore. Le verrouillage logique ou Logic Locking est une méthode de conception permettant de contrecarrer de telles menaces. Il consiste à insérer une logique contrôlée par une clé connue uniquement du propriétaire du circuit et activée en retour de fabrication par celui-ci. L'utilisation de tout autre clef conduit à un dysfonctionnement du circuit. Toutefois, la sécurité apportée par le verrouillage logique a été fortement remise en cause par l'apparition d'attaques dites guidées par oracle, notamment l'attaque SAT. Celle-ci est basée sur l'utilisation d'un solveur SAT et tire parti de l'accès aux chaines de scan nécessaires à un test efficace du circuit. Garantir un dysfonctionnement suffisant pour que le circuit soit inemployable avec une mauvaise clef nécessite une corruption suffisante au niveau des sorties, qui est elle-même influencée par la stratégie d'insertion de la logique contrôlée par la clé. Dans cette thèse, nous développons des schémas de verrouillage logique sécurisés et efficaces, en nous concentrant sur trois aspects, la stratégie d'insertion, le verrouillage logique sécurisé SAT et la protection de la chaîne de scan. Pour optimiser la corruption de sortie, nous proposons une stratégie d'insertion de porte-clés appelée KIP. Sur la base d'une analyse de probabilité de signal, la stratégie sélectionne les nœuds où la corruption influence un grand nombre de sorties. De plus, nous proposons une technique de verrouillage logique sécurisée appelée SKG-Lock. Elle consiste à insérer des porte-clés dits commutables qui sont contrôlés par un contrôleur de commutations. Cette technique offre une résistance aux attaques SAT et une corruption de sortie importante, en particulier lorsque la stratégie KIP est utilisée. Enfin, nous proposons un contrôleur de chaines de scan pour protéger le verrouillage logique contre les attaques guidées par oracle. Le contrôleur de balayage implante un mécanisme d'authentification basé sur une clé, empêchant ainsi tout accès non autorisé aux chaînes de scan.In the globalized semiconductor supply chain, increasing outsourcing to external contractors, e.g., offshore foundry, results in possible exposure of hardware designs to adversaries. Consequently, security threats such as integrated circuit (IC) overproduction, intellectual property (IP) piracy and hardware Trojans have emerged, which poses a serious impact on the technology industry as well as the national security. Logic locking is a holistic Design-for-Trust method that can address those issues. By inserting key-controlled logic, logic locking allows locking the circuit functionality with a key only known by the IP/IC owner. The requirements for logic locking are to secure the logic locking key as well as effectively disrupting the circuit functionality. The security of logic locking is greatly challenged by oracle-guided attacks, notably the SAT attack. The attack is based on SAT solver and takes advantages of open scan chain access. Ensuring functionality disruption necessitates sufficient corruption at outputs, which is influenced by the insertion strategy of key-controlled logic. In this thesis, we develop secure and effective logic locking schemes, by focusing on three aspects, insertion strategy, SAT-secure logic lock and scan chain protection. For optimizing output corruption, we propose a key-gate insertion strategy called KIP. Based on signal probability analysis, the strategy selects nodes where corruption at such location is highly observable at multiple outputs. Furthermore, we propose a secure logic locking technique called SKG-Lock. It consist of inserting so-called switchable key-gates that are controlled by a switch controller. The technique provides provable SAT resilience and significant output corruption, especially when using KIP for insertion. Finally, we propose a scan controller for protecting logic locking against oracle-guided attacks. The scan controller introduces a key-based authentication mechanism, thus, prevents unauthorized access to the scan chains once the IC is deployed in the field
Confiance matérielle : solutions de conception de verrouillage numérique
In the globalized semiconductor supply chain, increasing outsourcing to external contractors, e.g., offshore foundry, results in possible exposure of hardware designs to adversaries. Consequently, security threats such as integrated circuit (IC) overproduction, intellectual property (IP) piracy and hardware Trojans have emerged, which poses a serious impact on the technology industry as well as the national security. Logic locking is a holistic Design-for-Trust method that can address those issues. By inserting key-controlled logic, logic locking allows locking the circuit functionality with a key only known by the IP/IC owner. The requirements for logic locking are to secure the logic locking key as well as effectively disrupting the circuit functionality. The security of logic locking is greatly challenged by oracle-guided attacks, notably the SAT attack. The attack is based on SAT solver and takes advantages of open scan chain access. Ensuring functionality disruption necessitates sufficient corruption at outputs, which is influenced by the insertion strategy of key-controlled logic. In this thesis, we develop secure and effective logic locking schemes, by focusing on three aspects, insertion strategy, SAT-secure logic lock and scan chain protection. For optimizing output corruption, we propose a key-gate insertion strategy called KIP. Based on signal probability analysis, the strategy selects nodes where corruption at such location is highly observable at multiple outputs. Furthermore, we propose a secure logic locking technique called SKG-Lock. It consist of inserting so-called switchable key-gates that are controlled by a switch controller. The technique provides provable SAT resilience and significant output corruption, especially when using KIP for insertion. Finally, we propose a scan controller for protecting logic locking against oracle-guided attacks. The scan controller introduces a key-based authentication mechanism, thus, prevents unauthorized access to the scan chains once the IC is deployed in the field.Des menaces de sécurité telles que la surproduction de circuits intégrés (IC), le piratage de la propriété intellectuelle (IP) ou l'insertion de chevaux de Troie matériels sont apparues dues à l'externalisation de certaines phases de conception / production auprès de sous-traitants externes, par exemple une fonderie offshore. Le verrouillage logique ou Logic Locking est une méthode de conception permettant de contrecarrer de telles menaces. Il consiste à insérer une logique contrôlée par une clé connue uniquement du propriétaire du circuit et activée en retour de fabrication par celui-ci. L'utilisation de tout autre clef conduit à un dysfonctionnement du circuit. Toutefois, la sécurité apportée par le verrouillage logique a été fortement remise en cause par l'apparition d'attaques dites guidées par oracle, notamment l'attaque SAT. Celle-ci est basée sur l'utilisation d'un solveur SAT et tire parti de l'accès aux chaines de scan nécessaires à un test efficace du circuit. Garantir un dysfonctionnement suffisant pour que le circuit soit inemployable avec une mauvaise clef nécessite une corruption suffisante au niveau des sorties, qui est elle-même influencée par la stratégie d'insertion de la logique contrôlée par la clé. Dans cette thèse, nous développons des schémas de verrouillage logique sécurisés et efficaces, en nous concentrant sur trois aspects, la stratégie d'insertion, le verrouillage logique sécurisé SAT et la protection de la chaîne de scan. Pour optimiser la corruption de sortie, nous proposons une stratégie d'insertion de porte-clés appelée KIP. Sur la base d'une analyse de probabilité de signal, la stratégie sélectionne les nœuds où la corruption influence un grand nombre de sorties. De plus, nous proposons une technique de verrouillage logique sécurisée appelée SKG-Lock. Elle consiste à insérer des porte-clés dits commutables qui sont contrôlés par un contrôleur de commutations. Cette technique offre une résistance aux attaques SAT et une corruption de sortie importante, en particulier lorsque la stratégie KIP est utilisée. Enfin, nous proposons un contrôleur de chaines de scan pour protéger le verrouillage logique contre les attaques guidées par oracle. Le contrôleur de balayage implante un mécanisme d'authentification basé sur une clé, empêchant ainsi tout accès non autorisé aux chaînes de scan
F1000Research Figures
C-type lectin is a carbohydrate-binding protein domain known as a lectin. The C-type designation is from a requirement for calcium for binding. Proteins that contain C-type lectin domains have a diverse range of functions, including cell-cell adhesion, immune response to pathogens, and apoptosis. This study aimed to investigate the characteristics of LvCTL encoding genes from white leg shrimp (Litopenaeus vannamei) at Thua Thien Hue province, Vietnam. Two PCR products (LvCTL3 and LvCTL4) were cloned and sequenced. The results showed that LvCTL3 gene had 444 nucleotides in size, with 98.87% similar to the published LvCTL3 gene (accession number: KF156943). The deduced polypeptide sequence has 147 amino acids, which is 97.28% identical to the reference sequence (AGV68681). The LvCTL4 gene has a length of 417 nucleotides and homology of 99.52% compared to the published gene (KM387560). The deduced polypeptide sequence has 138 amino acids, which is 100% similar to the reference sequence (AKA64754). The LvCTL3 has a molecular weight of 16.91 kDa and an isoelectric point (pI) of 4.66, while LvCTL4 has 15.75 kDa, and 4.58, respectively. The structure prediction results showed that LvCTL3 and LvCTL4 has one domain (CTLD), LvCTL3 has 2 alpha helixs and 9 beta strains, LvCTL4 has 2 alpha helixs and 8 beta strains. Our results would provide essential information for heterologous expression and biosynthesis production of C-type lectins in the future.</p
Going Beyond Counting First Authors in Author Co-citation Analysis
The present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Quels soins palliatifs en néphrologie et à quel moment ?
What palliative care in nephrology and when ? Introduction: patients with chronic renal disease are often elderly and have multiple comorbidities. The intervention of mobile palliative care teams (MPCT) offers a quality of care for these patients. We assessed when the MPCT steps in the life course of the patient with kidney disease. Method: we analyzed the interventions of the mobile palliative care team in the nephrology department Transplantation Dialysis Apheresis of the Bordeaux University Hospital in France between January 2014 and December 2016 at the Bordeaux University Hospital. The main objective of the study was to evaluate the time between the beginning of the MPCT intervention and the death. The secondary objectives were to identify the situations in which the MPCT was called, to assess co-morbidities, to identify which service initiated the request and to determine the place of death. Results: eighty-five patients hospitalized in the nephrology department were supported by the MPCT. For 7 out of 10 patients (62 out of 85 cases), the mobile palliative care team took part in the six months preceding death, of which one third were in the last week of life and half in the last month (48 out of 85) patients). The MPCT took part in the management of symptoms during the terminal phase (44 cases out of 85), to adapt the care in the event of treatment refusal (31 cases, of which half of the cases for dialysis refusal), and to help bringing a shared medical discussion. Discussion: the mobile palliative care team comes up late for patients with severe kidney disease.Introduction : les patients ayant une maladie chronique rénale sont souvent âgés et présentent de multiples comorbidités. L'intervention des équipes mobiles de soins palliatifs (EMSP) permet la qualité de prise en charge de ces patients. Nous avons évalué à quel moment intervient l'EMSP durant le parcours de vie du patient atteint d'une maladie rénale. Méthode : nous avons analysé les interventions de l'EMSP dans le service de Néphrologie Transplantation Dialyse Aphérèse du CHU de Bordeaux en France entre janvier 2014 et décembre 2016 au CHU de Bordeaux. L'objectif principal de l'étude était d'évaluer le délai entre le début d'intervention de l'EMSP et le décès. Les objectifs secondaires étaient d'identifier les situations où l'EMSP était appelée, d'évaluer les comorbidités, d'identifier quel service initiait la demande et de relever le lieu de décès. Résultats : quatre-vingt cinq patients hospitalisés dans le service de néphrologie ont été pris en charge par l'EMSP. Pour 7 patients sur 10 (62 sur 85 cas), l'EMSP est intervenue dans les six mois précédant le décès, dont un tiers des cas durant la dernière semaine de vie et dans la moitié des cas dans le dernier mois (48 sur 85 patients). L'EMSP intervient pour la gestion de symptômes durant la phase terminale (44 cas sur 85), pour adapter les soins en cas de refus de traitements (31 cas, dont la moitié des cas pour refus de dialyse), et pour aider à une discussion médicale partagée. Discussion : l'EMSP intervient tardivement chez les patients atteints de maladie rénale grave
Quels soins palliatifs en néphrologie et à quel moment ?
What palliative care in nephrology and when ? Introduction: patients with chronic renal disease are often elderly and have multiple comorbidities. The intervention of mobile palliative care teams (MPCT) offers a quality of care for these patients. We assessed when the MPCT steps in the life course of the patient with kidney disease. Method: we analyzed the interventions of the mobile palliative care team in the nephrology department Transplantation Dialysis Apheresis of the Bordeaux University Hospital in France between January 2014 and December 2016 at the Bordeaux University Hospital. The main objective of the study was to evaluate the time between the beginning of the MPCT intervention and the death. The secondary objectives were to identify the situations in which the MPCT was called, to assess co-morbidities, to identify which service initiated the request and to determine the place of death. Results: eighty-five patients hospitalized in the nephrology department were supported by the MPCT. For 7 out of 10 patients (62 out of 85 cases), the mobile palliative care team took part in the six months preceding death, of which one third were in the last week of life and half in the last month (48 out of 85) patients). The MPCT took part in the management of symptoms during the terminal phase (44 cases out of 85), to adapt the care in the event of treatment refusal (31 cases, of which half of the cases for dialysis refusal), and to help bringing a shared medical discussion. Discussion: the mobile palliative care team comes up late for patients with severe kidney disease.Introduction : les patients ayant une maladie chronique rénale sont souvent âgés et présentent de multiples comorbidités. L'intervention des équipes mobiles de soins palliatifs (EMSP) permet la qualité de prise en charge de ces patients. Nous avons évalué à quel moment intervient l'EMSP durant le parcours de vie du patient atteint d'une maladie rénale. Méthode : nous avons analysé les interventions de l'EMSP dans le service de Néphrologie Transplantation Dialyse Aphérèse du CHU de Bordeaux en France entre janvier 2014 et décembre 2016 au CHU de Bordeaux. L'objectif principal de l'étude était d'évaluer le délai entre le début d'intervention de l'EMSP et le décès. Les objectifs secondaires étaient d'identifier les situations où l'EMSP était appelée, d'évaluer les comorbidités, d'identifier quel service initiait la demande et de relever le lieu de décès. Résultats : quatre-vingt cinq patients hospitalisés dans le service de néphrologie ont été pris en charge par l'EMSP. Pour 7 patients sur 10 (62 sur 85 cas), l'EMSP est intervenue dans les six mois précédant le décès, dont un tiers des cas durant la dernière semaine de vie et dans la moitié des cas dans le dernier mois (48 sur 85 patients). L'EMSP intervient pour la gestion de symptômes durant la phase terminale (44 cas sur 85), pour adapter les soins en cas de refus de traitements (31 cas, dont la moitié des cas pour refus de dialyse), et pour aider à une discussion médicale partagée. Discussion : l'EMSP intervient tardivement chez les patients atteints de maladie rénale grave
- …
