Thomas Dietert
Thomas is a Software Engineer at Adjoint, focused on building distributed ledger technologies for the private financial sector. He is interested in distributed-systems engineering, programming language theory, and the application of modern cryptography to build secure and robust protocols facilitating data privacy.
Talks I've Given
-
A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell
Featuring Thomas Dietert
As distributed-systems became more prevalent in the late 20th century, many computer scientists began to think of calculi that could represent the complex interaction of computer processes, both local and remote. It quickly became apparent that the lambda calculus could not adequately represent...
haskell dsl parallel-computing pi-calculus formal-methods distributed-systems -
Lightning Talk: Elliptic Curve Cryptography
Featuring Thomas Dietert
During this talk, you will explore a short overview of Elliptic Curve Cryptography (ECC) and the foundational ECDSA (Elliptic Curve Digital Signature Algorithm) that is the basis for data origin verification in most security sensitive applications. You will discover the usage of ECDSA using the...
haskell public-key-cryptography cryptography digital-signature ecdsa
My Work
@tthomasdd has not provided any work info yet.
Social and Blogging
@tthomasdd has not provided social links yet.