Applying Metamorphic Testing to Homomorphic Cryptography (MET 2021)

Who

Melvin Wolf, Jürgen Schönwälder

Track

MET 2021

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 2 Jun 2021 18:00 - 18:30 at MET Room - Session 4: Safety and Security and Simulation and Metamorphic Relations Chair(s): Sergio Segura

Abstract

Homomorphic encryption schemes allow applications to perform operations on encrypted data without decryptingthe data. This is possible due to homomorphisms between the plaintext space and the ciphertext space. The open source PALISADE software library implements a collection of homomorphic encryption schemes. The work described in this paper explores how metamorphic testing, a testing methodology alleviating the oracle problem, can be used to test the PALISADE library. Some faults are discovered and the applicability of metamorphic testing to homomorphic encryption is confirmed.

Melvin Wolf

Jacobs University Bremen

Germany

Jürgen Schönwälder

Jacobs University Bremen

Germany

YT video

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 2 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:00 - 19:20	Session 4: Safety and Security and Simulation and Metamorphic RelationsMET 2021 at MET Room Chair(s): Sergio Segura Universidad de Sevilla

18:00 30m Long-paper		Applying Metamorphic Testing to Homomorphic Cryptography MET 2021 Melvin Wolf Jacobs University Bremen, Jürgen Schönwälder Jacobs University Bremen Media Attached
18:30 20m Short-paper		Towards Automated Metamorphic Test identification for Ocean System Models MET 2021 Dilip Jagadeeshwarswamy Hiremath GEOMAR, Helmholtz Centre for Ocean Research and Kiel University, Martin Claus GEOMAR, Helmholtz Centre for Ocean Research and Kiel University, Wilhelm Hasselbring Kiel University, Willi Rath GEOMAR, Helmholtz Centre for Ocean Research Media Attached
18:50 30m Long-paper		Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools MET 2021 Andrei Lascu Imperial College London, Matt Windsor Imperial College London, Alastair F. Donaldson Imperial College London, Tobias Grosser University of Edinburgh, John Wickerson Imperial College London Media Attached

Information for Participants

Wed 2 Jun 2021 18:00 - 19:20 at MET Room - Session 4: Safety and Security and Simulation and Metamorphic Relations Chair(s): Sergio Segura

Info for room MET Room:

Go directly to this room on Clowdr