Publications related to 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

A guideline for the validation of likelihood ratio methods used for forensic evidence evaluation

Rudolf Haraksim

This Guideline proposes a protocol for the validation of forensic evaluation methods at the source level, using the Likelihood Ratio framework as defined within the Bayes' inference model. In the context of the inference of identity of source, the Likeliho ...

Elsevier Ireland Ltd2017

Solving Terminal Revocation in EAC by Augmenting Terminal Authentication

Rafik Chaabouni

In this paper we propose a solution to enable an accurate terminal revocation in the Extended Access Control (EAC). Chaabouni and Vaudenay in [CV09] pointed out the need for an accurate revocation procedure, but failed to provide a complete solution descri ...

Gesellschaft für Informatik2013

The Inconvenient Truth about Web Certificates

Jean-Pierre Hubaux, Julien Freudiger, Nevena Vratonjic, Vincent Bindschaedler

HTTPS is the de facto standard for securing Internet communications. Although it is widely deployed, the security provided with HTTPS in practice is dubious. HTTPS may fail to provide security for multiple reasons, mostly due to certificate-based authentic ...

2011

Methods for efficient certificate revocation list compression

Serge Vaudenay, Rafik Chaabouni, Imad Aad, Valtteri Niemi, Atefeh Mashatan

A method for providing efficient management of certificate revocation may comprise storing a list of identifiers of digital certificates including a revocation list defining a list of revoked certificates in an accumulator, storing a witness value in assoc ...

2010

Short chosen-prefix collisions for MD5 and the creation of a rogue CA certificate

Arjen Lenstra, Dag Arne Osvik

We present a refined chosen-prefix collision construction for MD5 that allowed creation of a rogue Certification Authority (CA) certificate, based on a collision with a regular end-user website certificate provided by a commercial CA. Compared to the previ ...

Springer Verlag2009

Chosen-prefix collisions for MD5 and colliding X.509 certificates for different identities

Arjen Lenstra

We present a novel, automated way to find differential paths for MD5. As an application we have shown how, at an approximate expected cost of 2 50 calls to the MD5 compression function, for any two chosen message prefixes P and P′, suffixe ...

2007

DICTATE: DIstributed CerTification Authority with probabilisTic frEshness for Ad Hoc Networks

Jean-Pierre Hubaux, Jun Luo, Patrick Eugster

Securing ad hoc networks is notoriously challenging, notably due to the lack of an on-line infrastructure. In particular, key management is a problem that has been addressed by many researchers but with limited results. In this paper, we consider the case ...

2005