Publications associées à Extended Validation Certificate

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

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

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

Towards a standardization of biomethane potential tests: a commentary

Christof Holliger

Inter-laboratory reproducibility of biomethane potential (BMP) is dismal, with differences in BMP values for the same sample exceeding a factor of two in some cases. A large group of BMP researchers directly addressed this problem during a workshop held in ...

IWA PUBLISHING2021

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

Steady-state neutronic measurements and comprehensive numerical analysis for the BME training reactor

Mathieu Hursin

This paper describes steady-state reactor physics measurements and calculations that were performed for the Training Reactor of Budapest University of Technology and Economics (BME TR) with the purpose of benchmarking. Based on the available geometry speci ...

2021

Simulation and experimental validation of pulsating heat pipes

John Richard Thome, Jackson Braz Marcinichen, Philippe Aubin, Filippo Cataldo

The one-dimensional transient numerical code of JJ Cooling Innovation has been significantly improved to simulate the thermal/hydraulic performance of pulsating heat pipes (PHPs). Using a mechanistic approach, the liquid slug and vapor plug flows and their ...

PERGAMON-ELSEVIER SCIENCE LTD2021

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

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

Effort-driven Fact Checking

Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia, each storing millions of facts about society in general, and specific domains, such as ...

2019

A Blockchain Consensus Protocol With Horizontal Scalability

Kelong Cong

Blockchain technology has the potential to decentralise many traditionally centralised systems. However, scalability remains a key challenge. A horizontally scalable solution, where performance increases by adding more nodes, would move blockchain systems ...

IEEE2018