Blockchain Technology Laboratory

Researchers and PhD students

A list of researchers and PhD students involved with the Blockchain Technology Lab.

Researchers and PhD students

Sefa Akca
Sefa
  Sefa Akca is a PhD student in the School of Informatics at the University of Edinburgh. His research interests lie in testing and analyzing Ethereum Smart contracts using static and dynamic techniques. He received a BSc from the Ankara University Computer Engineering department and MSc from the University of Sheffield Advanced Software Engineering department.  
Konstantinos Brazitikos
brazitikos
 

Konstantinos Brazitikos is a PhD student in the School of Informatics at the University of Edinburgh. His research interests include secure multiparty computation (MPC) under different corruption types, especially omission corruption. He hold a MSc from the University of Edinburgh at Computational Applied Mathematics and a Diplom of Applied Mathematical and Physical Sciences from the National Technical University of Athens.

 
Michele Ciampi
Michele Ciampi
 

Michele Ciampi is a Chancellor's Fellow in the School of Informatics at The Univresity of Edinburgh. His research focuses on theory of Cryptography. More specifically, he is interested in Zero-Knowledge Proofs, multi-party computation protocols and Blockchain.

 

Papers
Elizabeth Crites
Elizabeth Crites
  Elizabeth Crites is a Postdoctoral Researcher in the School of Informatics at the University of Edinburgh.  She holds a PhD in Mathematics from Brown University, an MSc in Applied Mathematics from Columbia University, and a BSc in Honours Mathematics from the University of Western Ontario.  Her research is in cryptography. Papers
Lamprini Georgiou
Georgiou Lamprini
 

Lamprini Georgiou is a Ph.D candidate at the School of Law. She holds an LL.M in I.T Law from the University of Edinburgh and an LL.B. from the University of Athens. Her research focuses on regulation and policy for distributed ledger technology with emphasis on cryptocurrencies, smart contracts, blockchain systems, artificial intelligence and regulatory technology (RegTech).

 
Muhammad Ishaq
Ishaq
 

Muhammad Ishaq is a PhD student in the School of Informatics at the University of Edinburgh. He researches optimizations to multiparty computation (MPC) using techniques from program analysis, combinatorial optimizations and algorithms.

Papers
Dimitris Karakostas
Dimitris Karakostas
  Dimitris Karakostas is a  PhD student in the School of Informatics at the University of Edinburgh. His research interests include digital asset management over blockchains and provable security of Proof-of-Stake protocols. He holds an Electrical and Computer Engineering degree from the National Technical University of Athens with a major in Computer Science. Papers
Thomas Kerber
Thomas Kerber
  Thomas Kerber is PhD student in the School of Informatics at the University of Edinburgh. He is working on capturing the notion of smart contracts, and formally describing the security of smart contract systems. The main purpose of this is to understand the ideal properties of smart contract systems, that current systems are lacking. In particular, he hopes to be able to model what privacy means in a smart contract system, and determine how it can be achieved. Papers
Orfeas Stefanos Thyfronitis Litos
Orfeas Litos
 

Orfeas Stefanos Thyfronitis Litos is a PhD student in the School of Informatics at the University of Edinburgh. His research focuses on decentralised economic trust and reputation. He models market interactions and designs reputation systems that foster online commerce with minimal need for trusted middlemen. Furthermore, he models and formalises blockchain-backed payment networks, such as the Lightning Network. 

 

Papers
Yun Lu
yun lu
 

Yun Lu is a PhD student in the School of Informatics at the University of Edinburgh. Her research interests include differential privacy, secure multiparty computation, rational cryptography, and provable security. She received both her BSc and MSc in Computer Science from UCLA.

 
Lorenzo Martinico
martinico
  Lorenzo Martinico is a PhD student in the School of Informatics at the University of Edinburgh, where he completed a Master of Informatics (MInf). His research focus is on accountability in cloud computing, using cryptographic protocols, trusted hardware, and decentralised ledgers.  
Orestis Melkonian
Orestis
  Orestis Melkonian is a PhD student in the School of Informatics at the University of Edinburgh, working on mechanizing a compilation correctness proof from BitML calculus to the UTxO model of Bitcoin under the supervision of Prof. Phil Wadler. His main research interests include functional programming, semantics of programming languages, dependent type theory and formal verification. He holds an MSc degree in Computing Science from the University of Utrecht and a BSc degree in Computer Science from the University of Athens.  
Sabine Oechsner 
Sabine
  Sabine Oechsner is a Postdoctoral Researcher in the School of Informatics at the University of Edinburgh. She holds a PhD in Cryptography from Aarhus University in Denmark. Her research focuses on zero-knowledge protocols, secure multiparty computation and formal verification.

Papers

 

Amirreza Sarencheh
Amirreza
  Amirreza Sarencheh is a PhD student in the School of Informatics at the University of Edinburgh. Generally he is working on the intersection of cryptography, blockchain, and financial applications of them. One of his projects is on enhancing privacy and regulatory insight in central bank digital currency (CBDC) using cryptographic primitives and techniques.  He holds M.Sc. degree in Electrical and Computer Engineering (E.C.E.) with focus on Secure Communications and Cryptography from Sharif University of Technology. His B.Sc. degree is also on E.C.E. with focus on Telecommunication. Papers
Yu Shen
Yu Shen
  Yu Shen is a PhD student in the School of Informatics at the University of Edinburgh. His research interests include cryptographic protocols and provable security of Proof-of-Work blockchain's target recalculation mechanism. He received his BSc in Computer Science and Technology from Jilin University and MSc in Computer Science from Texas A&M University.  
Aikaterini-Panagiota Stouka
Aikaterini-Panagiota Stouka
 

Katerina is a Research Assistant in the School of Informatics at the University of Edinburgh. Her research interests lie in game theoretic aspects of blockchain protocols. She is working on combining cryptographic and game theoretic tools in order to analyse incentives in cryptocurrencies. Specifically she is working on designing reward mechanisms with specific properties and on constructing a framework that allows us to study the incentives of the players of an arbitrary blockchain protocol. She is also searching for properties that are sufficient to ensure the incentive compatibility of a blockchain protocol.

Papers
Yiannis Tselekounis
Yiannis
  Yiannis Tselekounis is a Research Associate in the School of Informatics at The University of Edinburgh. His research focuses on Cryptography and Information Security, including end-to-end encryption protocols, blockchain technologies and non-malleable/tamper-resilient cryptography. Papers
Misha Volkhov
Misha
  Misha Volkhov is a PhD Student in the School of Informatics at the University of Edinburgh. He holds a Master's degree in computer science and cryptography (MPRI, Paris). His interests include proofs of knowledge, multiparty computation protocols, and formal verification.  
Hendrik Waldner 
Hendrick Waldner
 

Hendrik Waldner is a PhD student in the School of Informatics at the University of Edinburgh. His research interests includes functional encryption, proofs of knowledge and its application on blockchain technologies. He holds a degree in Mathematics from the Ruhr-University Bochum.

Papers
Thomas Zacharias
Thomas Zacharias
 

Thomas Zacharias is a Postdoctoral Researcher at the University of Edinburgh. He holds a PhD in Cryptography from the National and Kapodistrian University of Athens. His research focuses on the areas of end-to-end verifiable e-voting, distributed consensus, anonymous communications, and secure delegation of cryptographic computations.

Papers