Faculty Profiles - PAPADOPOULOS Dimitris | The Hong Kong University of Science and Technology

Dimitris PAPADOPOULOS

PhD in Computer Science
Boston University, 2016

Associate Professor
Department of Computer Science and Engineering

Google Scholar

9Q8DH5sAAAAJ

ORCID

0000-0003-2621-3015

Scopus ID

57197036438

Research Interest

Computer security
Cryptography
Cybersecurity
Data encryption
Network security

Publications

2024 4

AVeCQ: Anonymous Verifiable Crowdsourcing with Worker Qualities

IEEE Transactions on Dependable and Secure Computing, May 2024, article number 10531192, p. 1-18
Koutsos, Vlasis; Damle, Sankarshan; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris; Gujar, Sujit
Article

Cross Ledger Transaction Consistency for Financial Auditing

Leibniz International Proceedings in Informatics, LIPIcs, v. 316, September 2024, article number 4
Koutsos, Vlasis; Tian, Xiangan; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris
Conference paper

Distributed and Scalable Oblivious Sorting and Shuffling

Ngai, Nicholas; Demertzis, Ioannis; Ghareh Chamani, Javad; Papadopoulos, Dimitris
Conference paper

Zero-Knowledge Proofs of Training for Deep Neural Networks

Abbaszadeh, Kasra; Pappas, Christodoulos; Katz, Jonathan; Papadopoulos, Dimitrios
Conference paper

2023 5

GraphOS: Towards Oblivious Graph Processing

Proceedings of the VLDB Endowment, v. 16, (13), September 2023, p. 4324-4338
Ghareh Chamani, Javad; Demertzis, Ioannis; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Jalili, Rasool
Article

Multi-User Collusion-Resistant Searchable Encryption for Cloud Storage

IEEE Transactions on Cloud Computing, v. 11, (3), July 2023, article number 10054154, p. 2993-3008
Wang, Yun; Papadopoulos, Dimitris
Article

Multi-User Dynamic Searchable Symmetric Encryption with Corrupted Participants

IEEE Transactions on Dependable and Secure Computing, v. 20, (1), January 2023, article number 9613781, p. 114-130
Ghareh Chamani, Javad; Wang, Yun; Papadopoulos, Dimitrios; Zhang, Mingyang; Jalili, Rasool
Article

Publicly Auditable Functional Encryption

Lecture Notes in Computer Science, v. 13906, May 2023, p. 396-425
Koutsos, Vlasis; Papadopoulos, Dimitrios
Conference paper

Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting)

Lecture Notes in Computer Science, v. 13941, May 2023, p. 63-93
Ateniese, Giuseppe; Chen, Long; Francati, Danilo; Papadopoulos, Dimitrios; Tang, Qiang
Conference paper

2022 4

Agora: A Privacy-Aware Data Marketplace

IEEE Transactions on Dependable and Secure Computing, v. 19, (6), November 2022, article number 9516884, p. 3728-3740
Koutsos, Vlasios; Papadopoulos, Dimitris; Chatzopoulos, Dimitrios; Tarkoma, Sasu; Hui, Pan
Article

Demo: VaxPass-A Scalable and Verifiable Platform for COVID-19 Records

Proceedings of the ACM Conference on Computer and Communications Security, v. 2022, November 2022, p. 3257-3259
Tian, Xiangan; Koutsos, Vlasios; Wu, Lijia; Wu, Yijian; Papadopoulos, Dimitrios
Conference paper

Dynamic Searchable Encryption with Optimal Search in the Presence of Deletions

Proceedings of the 31st USENIX Security Symposium, Security 2022 / USENIX. California, United States : USENIX, 2022, p. 2425-2442
Ghareh Chamani, Javad; Papadopoulos, Dimitrios; Karbasforushan, Mohammadamin; Demertzis, Ioannis
Conference paper

Towards Efficient Decentralized Federated Learning

Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2022, 2022, article number 9951350, p. 79-85
Pappas, Christodoulos; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris; Panagou, Eleni; Lalis, Spyros; Vavalis, Manolis
Conference paper

2021 4

This Website Uses Nudging: MTurk Workers' Behaviour on Cookie Consent Notices

Proceedings of the ACM on Human-Computer Interaction, v. 5, (CSCW2), 18 October 2021, article number 346
Bermejo Fernandez, Carlos; Chatzopoulos, Dimitris; Papadopoulos, Dimitrios; Hui, Pan
Article

Agora: A Privacy-aware Data Marketplace

2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), v. 2020-November, February 2021, article number 9355615, p. 1211-1212
Koutsos, Vlasios; Papadopoulos, Dimitrios; Chatzopoulos, Dimitrios; Tarkoma, Sasu; Hui, Pan
Conference paper

Multi-User Collusion-Resistant Searchable Encryption with Optimal Search Time

ASIA CCS '21: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security / Association for Computing Machinery. New York : Association for Computing Machinery, 2021, p. 252-264
Wang, Yun; Papadopoulos, Dimitrios
Conference paper

Private Hierarchical Clustering and Efficient Approximation

CCSW 2021 - Proceedings of the 2021 Cloud Computing Security Workshop, co-located with CCS 2021, November 2021, p. 3-20
Meng, Xianrui; Papadopoulos, Dimitrios; Oprea, Alina; Triandopoulos, Nikos
Conference paper

2020 3

Dynamic Searchable Encryption with Small Client Storage

Proceedings of the 27st Annual Network and Distributed System Security Symposium, NDSS 2020, February 2020
Demertzis, Ioannis; Chamani, Javad Ghareh; Papadopoulos, Dimitrios; Papamanthou, Charalampos
Conference paper

MIRAGE: Succinct arguments for randomized algorithms with applications to universal zk-SNARKs

Proceedings of the 29th USENIX Security Symposium / USENIX Association. Berkeley, California, United States : USENIX Association, 2020, p. 2129-2146
Kosba, Ahmed E.; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Song, Dawn
Conference paper

SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage

Proceedings of the 29th USENIX Security Symposium, 2020, p. 2433-2450
Demertzis, Ioannis; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Shintre, Saurabh
Conference paper

2019 3

BitExTract: Interactive Visualization for Extracting Bitcoin Exchange Intelligence

IEEE Transactions on Visualization and Computer Graphics, v. 25, (1), January 2019, article number 8440044, p. 162-171
Yue, Xuanwu; Shu, Xinhuan; Zhu, Xinyu; Du, Xinnan; Yu, Zheqing; Papadopoulos, Dimitrios; Liu, Siyuan
Article

SESOS: A Verifiable Searchable Outsourcing Scheme for Ordered Structured Data in Cloud Computing

SESOS: A Verifiable Searchable Outsourcing Scheme for Ordered Structured Data in Cloud Computing, v. 11, (1), January 2019, article number 3, p. 15-34
Ghareh chamani, Javad; Dousti, Mohammad Sadeq; Jalili, Rasool; Papadopoulos, Dimitrios
Article

Transparency Logs via Append-only Authenticated Dictionaries

Proceedings of the ACM Conference on Computer and Communications Security, November 2019, p. 1299-1316
Tomescu, Alin; Papamanthou, Charalampos; Bhupatiraju, Vivek; Triandopoulos, Nikos; Papadopoulos, Dimitrios; Devadas, Srinivas
Conference paper

2018 5

Privacy in Decentralized Cryptocurrencies

Communications of the ACM, v. 61, (6), June 2018, p. 78-88
Genkin, Daniel; Papadopoulos, Dimitris; Papamanthou, Charalampos
Article

New Constructions for Forward and Backward Private Symmetric Searchable Encryption

Proceedings of the ACM Conference on Computer and Communications Security, October 2018, p. 1038-1055
Ghareh Chamani, Javad; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Jalili, Rasool
Conference paper

Searchable Encryption with Optimal Locality: Achieving Sublogarithmic Read Efficiency

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10991, 2018, p. 371-406
Demertzis, I.; Papadopoulos, Dimitrios; Papamanthou, Charalampos
Conference paper

Stateful multi-client verifiable computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10892, July 2018, p. 637-656
Cachin, Christian; Ghosh, Esha; Papadopoulos, Dimitrios; Tackmann, Björn
Conference paper

VRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Proceedings - IEEE Symposium on Security and Privacy, v. 2018-May, July 2018, article number 8418645, p. 908-925
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitrios; Papamanthou, Charalampos
Conference paper

2017 2

Server-Aided Secure Computation With Off-Line Parties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10492 LNCS, 2017, p. 103-123
Baldimtsi, Foteini; Papadopoulos, Dimitris; Papadopoulos, Stavros; Scafuro, Alessandra; Triandopoulos, Nikos
Conference paper

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

Proceedings - IEEE Symposium on Security and Privacy, IEEE, 2017, p. 863-880
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitris; Papamanthou, Charalampos
Conference paper

2016 1

Zero-Knowledge Accumulators and Set Algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10032 LNCS, 2016, p. 67-100
Ghosh, Esha; Ohrimenko, Olga; Papadopoulos, Dimitrios; Tamassia, Roberto; Triandopoulos, Nikos
Conference paper

2015 2

NSEC5: Provably Preventing DNSSEC Zone Enumeration

Goldberg, Sharon; Naor, Moni; Papadopoulos, Dimitris; Reyzin, Leonid; Vasantand, Sachin; Ziv, Asaf
Conference paper

Practical Authenticated Pattern Matching with Optimal Proof Size

Proceedings of the VLDB Endowment, v. 8, (7), 2015, p. 750-761
Papadopoulos, Dimitrios; Papamanthou, Charalampos; Tamassia, Roberto; Triandopoulos, Nikos
Conference paper

2014 3

Taking Authenticated Range Queries to Arbitrary Dimensions

Proceedings of the ACM Conference on Computer and Communications Security, November 2014, p. 819-830
Papadopoulos, Dimitrios; Papadopoulos, Stavros; Triandopoulos, Nikos
Conference paper

TRUESET: Faster Verifiable Set Computations

Proceedings of the 23rd USENIX Security Symposium, August 2014, p. 765-780
Kosba, Ahmed E.; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Sayed, Mahmoud F.; Shi, Elaine; Triandopoulos, Nikos
Conference paper

Verifiable Set Operations over Outsourced Databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8383 LNCS, 2014, p. 113-130
Canetti, Ran; Paneth, Omer; Papadopoulos, Dimitrios; Triandopoulos, Nikos
Conference paper

2011 1

Combining Traditional Map Labeling with Boundary Labeling

Lecture Notes in Computer Science, v. 6543, 2011, p. 111-122
Bekos, Michael A.; Kaufmann, Michael Alexander; Papadopoulos, Dimitrios T.; Symvonis, Antonios
Conference paper

Article 1

AVeCQ: Anonymous Verifiable Crowdsourcing with Worker Qualities

IEEE Transactions on Dependable and Secure Computing, May 2024, article number 10531192, p. 1-18
Koutsos, Vlasis; Damle, Sankarshan; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris; Gujar, Sujit

Conference paper 3

Cross Ledger Transaction Consistency for Financial Auditing

Leibniz International Proceedings in Informatics, LIPIcs, v. 316, September 2024, article number 4
Koutsos, Vlasis; Tian, Xiangan; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris

Distributed and Scalable Oblivious Sorting and Shuffling

Ngai, Nicholas; Demertzis, Ioannis; Ghareh Chamani, Javad; Papadopoulos, Dimitris

Zero-Knowledge Proofs of Training for Deep Neural Networks

Abbaszadeh, Kasra; Pappas, Christodoulos; Katz, Jonathan; Papadopoulos, Dimitrios

Article 3

GraphOS: Towards Oblivious Graph Processing

Proceedings of the VLDB Endowment, v. 16, (13), September 2023, p. 4324-4338
Ghareh Chamani, Javad; Demertzis, Ioannis; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Jalili, Rasool

Multi-User Collusion-Resistant Searchable Encryption for Cloud Storage

IEEE Transactions on Cloud Computing, v. 11, (3), July 2023, article number 10054154, p. 2993-3008
Wang, Yun; Papadopoulos, Dimitris

Multi-User Dynamic Searchable Symmetric Encryption with Corrupted Participants

IEEE Transactions on Dependable and Secure Computing, v. 20, (1), January 2023, article number 9613781, p. 114-130
Ghareh Chamani, Javad; Wang, Yun; Papadopoulos, Dimitrios; Zhang, Mingyang; Jalili, Rasool

Conference paper 2

Publicly Auditable Functional Encryption

Lecture Notes in Computer Science, v. 13906, May 2023, p. 396-425
Koutsos, Vlasis; Papadopoulos, Dimitrios

Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting)

Lecture Notes in Computer Science, v. 13941, May 2023, p. 63-93
Ateniese, Giuseppe; Chen, Long; Francati, Danilo; Papadopoulos, Dimitrios; Tang, Qiang

Article 1

Agora: A Privacy-Aware Data Marketplace

IEEE Transactions on Dependable and Secure Computing, v. 19, (6), November 2022, article number 9516884, p. 3728-3740
Koutsos, Vlasios; Papadopoulos, Dimitris; Chatzopoulos, Dimitrios; Tarkoma, Sasu; Hui, Pan

Conference paper 3

Demo: VaxPass-A Scalable and Verifiable Platform for COVID-19 Records

Proceedings of the ACM Conference on Computer and Communications Security, v. 2022, November 2022, p. 3257-3259
Tian, Xiangan; Koutsos, Vlasios; Wu, Lijia; Wu, Yijian; Papadopoulos, Dimitrios

Dynamic Searchable Encryption with Optimal Search in the Presence of Deletions

Proceedings of the 31st USENIX Security Symposium, Security 2022 / USENIX. California, United States : USENIX, 2022, p. 2425-2442
Ghareh Chamani, Javad; Papadopoulos, Dimitrios; Karbasforushan, Mohammadamin; Demertzis, Ioannis

Towards Efficient Decentralized Federated Learning

Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2022, 2022, article number 9951350, p. 79-85
Pappas, Christodoulos; Papadopoulos, Dimitrios; Chatzopoulos, Dimitris; Panagou, Eleni; Lalis, Spyros; Vavalis, Manolis

Article 1

This Website Uses Nudging: MTurk Workers' Behaviour on Cookie Consent Notices

Proceedings of the ACM on Human-Computer Interaction, v. 5, (CSCW2), 18 October 2021, article number 346
Bermejo Fernandez, Carlos; Chatzopoulos, Dimitris; Papadopoulos, Dimitrios; Hui, Pan

Conference paper 3

Agora: A Privacy-aware Data Marketplace

2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), v. 2020-November, February 2021, article number 9355615, p. 1211-1212
Koutsos, Vlasios; Papadopoulos, Dimitrios; Chatzopoulos, Dimitrios; Tarkoma, Sasu; Hui, Pan

Multi-User Collusion-Resistant Searchable Encryption with Optimal Search Time

ASIA CCS '21: Proceedings of the 2021 ACM Asia Conference on Computer and Communications Security / Association for Computing Machinery. New York : Association for Computing Machinery, 2021, p. 252-264
Wang, Yun; Papadopoulos, Dimitrios

Private Hierarchical Clustering and Efficient Approximation

CCSW 2021 - Proceedings of the 2021 Cloud Computing Security Workshop, co-located with CCS 2021, November 2021, p. 3-20
Meng, Xianrui; Papadopoulos, Dimitrios; Oprea, Alina; Triandopoulos, Nikos

Conference paper 3

Dynamic Searchable Encryption with Small Client Storage

Proceedings of the 27st Annual Network and Distributed System Security Symposium, NDSS 2020, February 2020
Demertzis, Ioannis; Chamani, Javad Ghareh; Papadopoulos, Dimitrios; Papamanthou, Charalampos

MIRAGE: Succinct arguments for randomized algorithms with applications to universal zk-SNARKs

Proceedings of the 29th USENIX Security Symposium / USENIX Association. Berkeley, California, United States : USENIX Association, 2020, p. 2129-2146
Kosba, Ahmed E.; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Song, Dawn

SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage

Proceedings of the 29th USENIX Security Symposium, 2020, p. 2433-2450
Demertzis, Ioannis; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Shintre, Saurabh

Article 2

BitExTract: Interactive Visualization for Extracting Bitcoin Exchange Intelligence

IEEE Transactions on Visualization and Computer Graphics, v. 25, (1), January 2019, article number 8440044, p. 162-171
Yue, Xuanwu; Shu, Xinhuan; Zhu, Xinyu; Du, Xinnan; Yu, Zheqing; Papadopoulos, Dimitrios; Liu, Siyuan

SESOS: A Verifiable Searchable Outsourcing Scheme for Ordered Structured Data in Cloud Computing

SESOS: A Verifiable Searchable Outsourcing Scheme for Ordered Structured Data in Cloud Computing, v. 11, (1), January 2019, article number 3, p. 15-34
Ghareh chamani, Javad; Dousti, Mohammad Sadeq; Jalili, Rasool; Papadopoulos, Dimitrios

Conference paper 1

Transparency Logs via Append-only Authenticated Dictionaries

Proceedings of the ACM Conference on Computer and Communications Security, November 2019, p. 1299-1316
Tomescu, Alin; Papamanthou, Charalampos; Bhupatiraju, Vivek; Triandopoulos, Nikos; Papadopoulos, Dimitrios; Devadas, Srinivas

Article 1

Privacy in Decentralized Cryptocurrencies

Communications of the ACM, v. 61, (6), June 2018, p. 78-88
Genkin, Daniel; Papadopoulos, Dimitris; Papamanthou, Charalampos

Conference paper 4

New Constructions for Forward and Backward Private Symmetric Searchable Encryption

Proceedings of the ACM Conference on Computer and Communications Security, October 2018, p. 1038-1055
Ghareh Chamani, Javad; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Jalili, Rasool

Searchable Encryption with Optimal Locality: Achieving Sublogarithmic Read Efficiency

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10991, 2018, p. 371-406
Demertzis, I.; Papadopoulos, Dimitrios; Papamanthou, Charalampos

Stateful multi-client verifiable computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10892, July 2018, p. 637-656
Cachin, Christian; Ghosh, Esha; Papadopoulos, Dimitrios; Tackmann, Björn

VRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Proceedings - IEEE Symposium on Security and Privacy, v. 2018-May, July 2018, article number 8418645, p. 908-925
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitrios; Papamanthou, Charalampos

Conference paper 2

Server-Aided Secure Computation With Off-Line Parties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10492 LNCS, 2017, p. 103-123
Baldimtsi, Foteini; Papadopoulos, Dimitris; Papadopoulos, Stavros; Scafuro, Alessandra; Triandopoulos, Nikos

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

Proceedings - IEEE Symposium on Security and Privacy, IEEE, 2017, p. 863-880
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitris; Papamanthou, Charalampos

Conference paper 1

Zero-Knowledge Accumulators and Set Algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10032 LNCS, 2016, p. 67-100
Ghosh, Esha; Ohrimenko, Olga; Papadopoulos, Dimitrios; Tamassia, Roberto; Triandopoulos, Nikos

Conference paper 2

NSEC5: Provably Preventing DNSSEC Zone Enumeration

Goldberg, Sharon; Naor, Moni; Papadopoulos, Dimitris; Reyzin, Leonid; Vasantand, Sachin; Ziv, Asaf

Practical Authenticated Pattern Matching with Optimal Proof Size

Proceedings of the VLDB Endowment, v. 8, (7), 2015, p. 750-761
Papadopoulos, Dimitrios; Papamanthou, Charalampos; Tamassia, Roberto; Triandopoulos, Nikos

Conference paper 3

Taking Authenticated Range Queries to Arbitrary Dimensions

Proceedings of the ACM Conference on Computer and Communications Security, November 2014, p. 819-830
Papadopoulos, Dimitrios; Papadopoulos, Stavros; Triandopoulos, Nikos

TRUESET: Faster Verifiable Set Computations

Proceedings of the 23rd USENIX Security Symposium, August 2014, p. 765-780
Kosba, Ahmed E.; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Sayed, Mahmoud F.; Shi, Elaine; Triandopoulos, Nikos

Verifiable Set Operations over Outsourced Databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8383 LNCS, 2014, p. 113-130
Canetti, Ran; Paneth, Omer; Papadopoulos, Dimitrios; Triandopoulos, Nikos

Conference paper 1

Combining Traditional Map Labeling with Boundary Labeling

Lecture Notes in Computer Science, v. 6543, 2011, p. 111-122
Bekos, Michael A.; Kaufmann, Michael Alexander; Papadopoulos, Dimitrios T.; Symvonis, Antonios

2018 5

Privacy in Decentralized Cryptocurrencies

Communications of the ACM, v. 61, (6), June 2018, p. 78-88
Genkin, Daniel; Papadopoulos, Dimitris; Papamanthou, Charalampos
Article

New Constructions for Forward and Backward Private Symmetric Searchable Encryption

Proceedings of the ACM Conference on Computer and Communications Security, October 2018, p. 1038-1055
Ghareh Chamani, Javad; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Jalili, Rasool
Conference paper

Searchable Encryption with Optimal Locality: Achieving Sublogarithmic Read Efficiency

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10991, 2018, p. 371-406
Demertzis, I.; Papadopoulos, Dimitrios; Papamanthou, Charalampos
Conference paper

Stateful multi-client verifiable computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10892, July 2018, p. 637-656
Cachin, Christian; Ghosh, Esha; Papadopoulos, Dimitrios; Tackmann, Björn
Conference paper

VRAM: Faster Verifiable RAM with Program-Independent Preprocessing

Proceedings - IEEE Symposium on Security and Privacy, v. 2018-May, July 2018, article number 8418645, p. 908-925
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitrios; Papamanthou, Charalampos
Conference paper

2017 2

Server-Aided Secure Computation With Off-Line Parties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10492 LNCS, 2017, p. 103-123
Baldimtsi, Foteini; Papadopoulos, Dimitris; Papadopoulos, Stavros; Scafuro, Alessandra; Triandopoulos, Nikos
Conference paper

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

Proceedings - IEEE Symposium on Security and Privacy, IEEE, 2017, p. 863-880
Zhang, Yupeng; Genkin, Daniel; Katz, Jonathan; Papadopoulos, Dimitris; Papamanthou, Charalampos
Conference paper

2016 1

Zero-Knowledge Accumulators and Set Algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10032 LNCS, 2016, p. 67-100
Ghosh, Esha; Ohrimenko, Olga; Papadopoulos, Dimitrios; Tamassia, Roberto; Triandopoulos, Nikos
Conference paper

2015 2

NSEC5: Provably Preventing DNSSEC Zone Enumeration

Goldberg, Sharon; Naor, Moni; Papadopoulos, Dimitris; Reyzin, Leonid; Vasantand, Sachin; Ziv, Asaf
Conference paper

Practical Authenticated Pattern Matching with Optimal Proof Size

Proceedings of the VLDB Endowment, v. 8, (7), 2015, p. 750-761
Papadopoulos, Dimitrios; Papamanthou, Charalampos; Tamassia, Roberto; Triandopoulos, Nikos
Conference paper

2014 3

Taking Authenticated Range Queries to Arbitrary Dimensions

Proceedings of the ACM Conference on Computer and Communications Security, November 2014, p. 819-830
Papadopoulos, Dimitrios; Papadopoulos, Stavros; Triandopoulos, Nikos
Conference paper

TRUESET: Faster Verifiable Set Computations

Proceedings of the 23rd USENIX Security Symposium, August 2014, p. 765-780
Kosba, Ahmed E.; Papadopoulos, Dimitrios; Papamanthou, Charalampos; Sayed, Mahmoud F.; Shi, Elaine; Triandopoulos, Nikos
Conference paper

Verifiable Set Operations over Outsourced Databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8383 LNCS, 2014, p. 113-130
Canetti, Ran; Paneth, Omer; Papadopoulos, Dimitrios; Triandopoulos, Nikos
Conference paper

2011 1

Combining Traditional Map Labeling with Boundary Labeling

Lecture Notes in Computer Science, v. 6543, 2011, p. 111-122
Bekos, Michael A.; Kaufmann, Michael Alexander; Papadopoulos, Dimitrios T.; Symvonis, Antonios
Conference paper

Teaching Assignment

COMP2011	Programming with C++
COMP4900	Academic and Professional Development
MFIT5002	Blockchain
UROP1100N	Undergraduate Research Opportunities Series 1

COMP2012	Object-Oriented Programming and Data Structures
COMP4900	Academic and Professional Development
COMP4981	Final Year Project
CPEG4901	Computer Engineering Final Year Project in COMP
CSIT5710	Cryptography and Cybersecurity

COMP2011	Programming with C++
COMP4981	Final Year Project
MATH4999	Independent Capstone Project
MFIT5002	Blockchain

COMP4981

Final Year Project

No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Doctor of Philosophy

BALLWEG, Jonas
Computer Science and Engineering
BARAKBAYEVA, Togzhan
Computer Science and Engineering
CAI, Zhuo (co-supervision)
Computer Science and Engineering
NOVOZHILOV, Sergei
Computer Science and Engineering
PAPPAS, Christodoulos
Computer Science and Engineering
HAGHIGHI, Arman
Computer Science and Engineering
KOUTSOS, Vlasios
Computer Science and Engineering
XIN, Jiajun
Computer Science and Engineering

Master of Philosophy

WANG, Xian
Computer Science and Engineering
TIAN, Xiangan
Computer Science and Engineering

Graduated RPGs

Doctor of Philosophy

GHAREH CHAMANI, Javad
Computer Science and Engineering( Completed in 2022 )

Master of Philosophy

YIP, Tai Tak Martin
Computer Science and Engineering( Completed in 2023 )
HAGHIGHI, Arman
Computer Science and Engineering( Completed in 2021 )

Projects

From January 2022 to December 2024

Zero-Knowledge Proofs with Offline/Online Provers: Applications to Efficient Zero-Knowledge Dictionaries and Beyond

基于離線/在線證明者的零知識證明：在零知識字典中的應用及其他 Leading

RGC - General Research Fund
Project Team (HKUST)
PAPADOPOULOS Dimitris (Lead)
2022 -
Security-minded CDE for Building Data Management Using Distributed Ledger Technology

利用分散式賬本技術之安全建築數據管理通用數據平臺 Participating

Innovation and Technology Fund (funded via Logistics and Supply Chain MultiTech R&D Center)
Project Team (HKUST)
CHENG Jack Chin Pang (Lead)

PAPADOPOULOS Dimitris
2021 - 2023
Private Smart Contracts Evaluation using Efficient Zero-knowledge Proofs

使用高效零知識證明進行私人智能合約評估 Leading

RGC - Early Career Scheme
Project Team (HKUST)
PAPADOPOULOS Dimitris (Lead)
2019 - 2022

Research Interest

Publications

2024 4

2023 5

2022 4

2021 4

2020 3

2019 3

2018 5

2017 2

2016 1

2015 2

2014 3

2011 1

Article 1

Conference paper 3

Article 3

Conference paper 2

Article 1

Conference paper 3

Article 1

Conference paper 3

Conference paper 3

Article 2

Conference paper 1

Article 1

Conference paper 4

Conference paper 2

Conference paper 1

Conference paper 2

Conference paper 3

Conference paper 1

2018 5

2017 2

2016 1

2015 2

2014 3

2011 1

Teaching Assignment

Research Postgraduate (RPG) Supervision

From January 2021 to December 2024 (As of 21 November 2024)

Current RPGs

Graduated RPGs

Projects

From January 2022 to December 2024

Your browser is out of date!