440 Huntington Avenue
330 West Village H
Boston, MA 02115
Konstantinos Athanasiou is a PhD student studying formal methods at Northeastern University’s College of Computer and Information Science, advised by Professor Thomas Wahl. Before joining Northeastern, Konstantinos completed his undergraduate studies at the National Technical University of Athens in Greece. Konstantinos’ research interests lie in software verification, and he has worked in concurrent program verification.
- BS, National Technical University of Athens — Greece
- Hometown: Athens, Greece
- Field of Study: Formal Methods
- PhD Advisor: Thomas Wahl
What are the specifics of your graduate education (thus far)?
- Advanced Algorithms
- Theory of Computation
- Intensive Computer Systems
- Special Topics in Programming Languages
- Software Model Checking
What are your research interests?
My current work revolves around formal verification of software counter-measures against Side-channel Attacks. Starting my PhD, I wanted my work to revolve around applications of Satisfiability Modulo Theories (SMT) solvers to software verification. The shift towards a security-related application, like Side-channels, is very close to the path I envisioned.
What’s one problem you’d like to solve with your research/work?
I would like to provide tools for automated and quantitative security evaluation of implementations of encryption algorithms.
What aspect of what you do is most interesting?
The intersection of formal methods and security is somewhat unexplored. Formulating security related question from a formal methods perspective has been so far the most exciting and unexpectedly fascinating part.