CROSSING Research Seminar

Organizer: Jacqueline Brendel, CROSSING

Abstract

This talk will introduce the SageMath computer algebra system as a great environment to experiment with cryptography, especially the isogeny-based cryptography.

In essence, SageMath is an open-source math library written in the Python programming language, allowing it to utilize the vast and robust Python ecosystem.

I also want to share my experience working with an up-to-date SageMath version which runs inside a Singularity container.

In this regard, I want to emphasize the advantages of this container environment as it enables us to run codes on different computers without any changes, regardless of the underlying software stacks and hardware.

The last part will focus on my current research of building a static analyzer for automatic detection of (parallel) map constructs in SageMath/Python codes.

Speaker Bio

Nam Nguyen is PhD-Student in group P1 under the supervision of Christian Bischof.

Currently, his research focuses on the static analysis and code transformation in Python.

Previously, he worked with cryptanalysis using High-Performance Computing on lattice-based cryptography, isogeny-based cryptography and empirical performance modeling.