Publications associées à Certificat électronique

Phase-stable indium sulfide achieves an energy conversion efficiency of 14.3% for solar-assisted carbon dioxide reduction to formate

Michael Graetzel, Jing Gao, Jingshan Luo, Xiaoyu Zhang, Jun Li, Qixing Zhang

Tremendous efforts have been made in developing highly selective catalysts for electrochemical CO 2 conversion to formate. However, the rapid deactivation resulting from structural reconstruction and phase transition poses considerable challenges to the sy ...

Cell Press2024

Making Classical (Threshold) Signatures Post-quantum for Single Use on a Public Ledger

Serge Vaudenay, Laurane Chloé Angélina Marco, Abdullah Talayhan

The Bitcoin architecture heavily relies on the ECDSA signature scheme which is broken by quantum adversaries as the secret key can be computed from the public key in quantum polynomial time. To mitigate this attack, bitcoins can be paid to the hash of a pu ...

2023

A semi-supervised algorithm for improving the consistency of crowdsourced datasets: The COVID-19 case study on respiratory disorder classification

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

Background and Objective: Cough audio signal classification is a potentially useful tool in screening for respiratory disorders, such as COVID-19. Since it is dangerous to collect data from patients with contagious diseases, many research teams have turned ...

2023

Direct conversion of lignin to functionalized diaryl ethers via oxidative cross-coupling

Paul Joseph Dyson, Mingyang Liu

Efficient valorization of lignin, a sustainable source of functionalized aromatic products, would reduce dependence on fossil-derived feedstocks. Oxidative depolymerization is frequently applied to lignin to generate phenolic mono- mers. However, due to th ...

Nature Research2023

Review of health and well-being aspects in Green Certification Protocols

Cecile Anne Berquand

Over the past decades, the world-leading Green Certification Protocols have been paid increasing attention to health-related aspects of buildings. However, the way and the extent to which green certifications currently account for these aspects vary largel ...

TU Delft2022

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Ngoc Khanh Karol Nguyen

We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Sound and Complete Verification of Polynomial Networks

Volkan Cevher, Grigorios Chrysos, Fanghui Liu, Mehmet Fatih Sahin, Elias Abad Rocamora

Polynomial Networks (PNs) have demonstrated promising performance on face and image recognition recently. However, robustness of PNs is unclear and thus obtaining certificates becomes imperative for enabling their adoption in real-world applications. Exist ...

2022

Single-Trace Clustering Power Analysis of the Point-Swapping Procedure in the Three Point Ladder of Cortex-M4 SIKE

Aymeric Genet, Novak Kaluderovic

In this paper, the recommended implementation of the post-quantum key exchange SIKE for Cortex-M4 is attacked through power analysis with a single trace by clustering with the k-means algorithm the power samples of all the invocations of the elliptic curve ...

Springer, Cham2022

Medical Image Classification Using Generalized Zero Shot Learning

Seyedbehzad Bozorgtabar

In many real world medical image classification settings we do not have access to samples of all possible disease classes, while a robust system is expected to give high performance in recognizing novel test data. We propose a generalized zero shot learnin ...

IEEE COMPUTER SOC2021

Akt Is S-Palmitoylated: A New Layer of Regulation for Akt

Françoise Gisou van der Goot Grunberg, Laurence Gouzi Abrami

The protein kinase Akt/PKB participates in a great variety of processes, including translation, cell proliferation and survival, as well as malignant transformation and viral infection. In the last few years, novel Akt posttranslational modifications have ...

FRONTIERS MEDIA SA2021

Chiral Alkyl Amine Synthesis via Catalytic Enantioselective Hydroalkylation of Enecarbamates

Xile Hu, Srikrishna Bera, Deyun Qian

Chiral alkyl amines are omnipresent as bioactive molecules and synthetic intermediates. The catalytic and enantioselective synthesis of alkyl amines from readily accessible precursors is challenging. Here we develop a nickel-catalyzed hydroalkylation metho ...

AMER CHEMICAL SOC2021

Towards the Sarpagine-Ajmaline-Macroline Family of Indole Alkaloids: Enantioselective Synthesis of an N-Demethyl Alstolactone Diastereomer

Qian Wang, Jieping Zhu, Dylan Jean Robert Dagoneau

the strategy involving the use of functionalized tetrahydro-6H-cycloocta[b]indol-6-one is reported as a key intermediate for synthesis of members of the sarpagine-ajmaline-macroline family of monoterpene indole alkaloids. The desired tricycle was synthesiz ...

WILEY-V C H VERLAG GMBH2020

Do energy performance certificates allow reliable predictions of actual energy consumption and savings? Learning from the Swiss national database

Jean-Louis Scartezzini, Stefano Cozza, Arno Schlueter

The thermal performance gap in buildings is defined as the difference between the theoretical and the actual energy consumption for heating, and is known to undermine energy retrofit strategies and policies. This study examines the performance gap in retro ...

ELSEVIER SCIENCE SA2020

Load-induced dynamical transitions at graphene interfaces

Gabriel Aeppli, Ming Ma

The structural superlubricity (SSL), a state of near-zero friction between two contacted solid surfaces, has been attracting rapidly increasing research interest since itwas realized in microscale graphite in 2012. An obvious question concerns the implicat ...

National Academy of Sciences2020

Improving Inter-Laboratory Reproducibility in Measurement of Biochemical Methane Potential (BMP)

Christof Holliger

Biochemical methane potential (BMP) tests used to determine the ultimate methane yield of organic substrates are not sufficiently standardized to ensure reproducibility among laboratories. In this contribution, a standardized BMP protocol was tested in a l ...

2020

Reducing Metadata Leakage from Encrypted Files and Communication with PURBs

Jean-Pierre Hubaux, Bryan Alexander Ford, Ludovic Barman, Kirill Nikitin, Wouter Lueks, Matthew Joshua Underwood

Most encrypted data formats leak metadata via their plaintext headers, such as format version, encryption schemes used, number of recipients who can decrypt the data, and even the recipients’ identities. This leakage can pose security and privacy risks to ...

Sciendo2019

Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity

Serge Vaudenay, Fatma Betül Durak

Following up mass surveillance and privacy issues, modern secure communication protocols now seek more security such as forward secrecy and post-compromise security. They cannot rely on an assumption such as synchronization, predictable sender/receiver rol ...

Springer2019

Secured Routines: Language-based Construction of Trusted Execution Environments

James Richard Larus, Edouard Bugnion, Adrien Ghosn

Trusted Execution Environments (TEEs), such as Intel SGX enclaves, use hardware to ensure the confidentiality and integrity of operations on sensitive data. While the technology is available on many processors, the complexity of its programming model and i ...

USENIX ASSOC2019

Efficient Kinetic Resolution of Sulfur-Stereogenic Sulfoximines by Exploiting (CpRhIII)-Rh-X-Catalyzed C-H Functionalization

Nicolai Cramer, Marcus Brauns

Chiral sulfoximines with stereogenic sulfur atoms are promising motifs in drug discovery. We report an efficient method to access chiral sulfoximines through a C-H functionalization based kinetic resolution. A rhodium(III) complex equipped with a chiral Cp ...

Wiley-VCH Verlag GmbH2019

Structural description of surfaces and interfaces in biominerals by DNP SENS

David Lyndon Emsley, David Benjamin Roger Antoine Gajan

Biological mineralized tissues are hybrid materials with complex hierarchical architecture composed of biominerals often embedded in an organic matrix. The atomic-scale comprehension of surfaces and organo-mineral interfaces of these biominerals is of para ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019