Home

Georgios Portokalidis

I am an Associate Research Professor at IMDEA Software Institute. I am also an Associate Professor in the Department of Computer Science at Stevens Institute of Technology (currently on leave). I obtained my PhD in Computer Science from Vrije Universiteit Amsterdam on February 2010 and then moved to work as a postdoctoral researcher at Columbia University. I also hold an MSc and BSc in Computer Science from Leiden University and University of Crete, respectively.

My research interests are mainly around the area of software systems and security. Specifically, in the past I have worked on systems software security and hardening, honeypots, taint analysis (information-flow tracking), binary analysis and reverse engineering, run-time and compile-time software instrumentation, control-flow integrity, code-reuse attacks, Tor, and user authentication. For more information check out my CV and my Google Scholar Profile.

If you are a strong programmer, security-minded, and love operating systems, I'm looking for students and researchers to join my research group in Madrid. The IMDEA Software Institute is one of the top institutes for computer security research in Europe! More info under openings.

Contact

georgios Email icon domain name

Twitter-new-logo   GitHub icon   LinkedIn logo initials

Email icon
IMDEA Software Institute
Campus Montegancedo s/n
28223 Pozuelo de Alarcon, Madrid
SPAIN

Announcements

September '23 I am thrilled to announce that I have taken on the role of Associate Research Professor at IMDEA Software Institute.

September '23 Our paper "SysPart: Automated Temporal System Call Filtering for Binaries" is to appear in CCS 2023.

May '23 Our paper "Eliminating Vulnerabilities by Disabling Unwanted Functionality in Binary Programs" is to appear in ASIACCS 2023.

September '22 Our paper "Towards Understanding the Performance of Rust" is to appear in ASE 2022.

January '22 The web page for CS-576 Systems Security is now up.

December '21 Our paper "Debloating Address Sanitizer" is to appear in USENIX Security 2022.

October '21 Our paper "Building Embedded Systems Like It’s 1996" is to appear in NDSS 2022.

October '21 Our paper "Proving LTL Properties of Bitvector Programs and Decompiled Binaries" is to appear in APLAS 2021.

Research Highlights

Selected Publications

SysPart: Automated Temporal System Call Filtering for Binaries
Vidya Lakshmi Rajagopalan, Konstantinos Kleftogiorgos, Enes Göktaş, Jun Xu, and Georgios Portokalidis
To appear in Proceedings of the ACM Conference on Computer and Communications Security (CCS), Copenhagen, Denmark, November 2023 (19.9%)

Eliminating Vulnerabilities by Disabling Unwanted Functionality in Binary Programs
Mohamad Mansouri, Jun Xu, and Georgios Portokalidis
Proceedings of the ACM ASIA Conference on Computer and Communications Security (ASIACCS), Melbourne, Australia, July 2023

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask
Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen, Georgios Portokalidis, Bing Mao, and Jun Xu
To appear in Proceedings of the IEEE Symposium on Security and Privacy, San Francisco, CA, May 2021

Speculative Probing: Hacking Blind in the Spectre Era
Enes Göktaş, Kaveh Razavi, Georgios Portokalidis, Herbert Bos, and Cristiano Giuffrida
Proceedings of the ACM Conference on Computer and Communications Security (CCS), Virtual, November 2020

Nibbler: Debloating Binary Shared Libraries
Ioannis Agadakos, Di Jin, David Williams-King, Vasileios P. Kemerlis, and Georgios Portokalidis
Proceedings of the Annual Computer Security Applications Conference (ACSAC), San Juan, Puerto Rico, December 2019 (22.6%)

Techu: Open and Privacy-preserving Crowdsourced GPS for the Masses
Ioannis Agadakos, Jason Polakis, and Georgios Portokalidis
Proceedings of the ACM International Conference on Mobile Systems, Applications, and Services (MobiSys), Niagara Falls, NY, USA, June 2017 (18%)

Location-enhanced Authentication using the IoT
Ioannis Agadakos, Per Hallgren, Dimitrios Damopoulos, Andrei Sabelfeld, and Georgios Portokalidis
Proceedings of the Annual Computer Security Applications Conference (ACSAC), Los Angeles, CA, USA, December 2016 (22.8%)

Selected Grands and Awards

PI, "Effective Software Monitoring Leveraging Hardware Debugging Extensions", DARPA YFA, $492,490, August 2021 - July 2023

PI (lead), "ABIDES: Adaptive BInary Debloating and Security", ONR, $3,243,244, September 2017 - August 2022

PI, "Adapting Static and Dynamic Program Analysis to Effectively Harden Debloated Software" ONR, $467,543, March 2016 - December 2020

PI, "Trails: Efficient Data-Flow Tracking Through HW-assisted Parallelization", DARPA, $462,419, September 2016 - August 2019

PhD Students

Current

Vidya Lakshmi Rajagopalan (January 2019 - present)

Konstantinos Kleftogiorgos (September 2018 - present)

Graduated

Ruotong Yu (September 2020 - March 2024)

Yuchen Zhang (September 2019 - May 2023)

Yifan Wang (September 2019 - December 2022)

Ioannis Agadakos (January 2015 - December 2018)

Postdocs/Researchers

Past

Enes Goktas (May 2019 - August 2021)

Dimitrios Damopoulos (2013 - 2015)