Publications

Oshani Seneviratne
Enabling Data Interoperability for Decentralized, Smart, and Connected Health Applications
Association for Computing Machinery – Federated Computing Research Conference 2023 - ACM FCRC'23 – (To Appear)

Oshani Seneviratne, Deborah L. McGuinness
Web 3.0 Meets Web3: Exploring the Convergence of Semantic Web and Blockchain Technologies
Trusting Decentralised Knowledge Graphs on the Web Data (TrustDeKW'23) at the Extended Semantic Web Conference (ESWC'23) – (To Appear)

Matthew T. Pisano, Connor J. Patterson, Oshani Seneviratne
PredictChain: Empowering Collaboration and Data Accessibility for AI in a Decentralized Blockchain-based Marketplace
ChainScience 2023 Where science meets AI, LLMs and blockchain - Chainscience'23 – (To Appear)

Lirong Xia
The Impact of a Coalition: Assessing the Likelihood of Voter Influence in Large Elections
24^th ACM Conference on Economics & Computation - EC-23 – (To Appear)

Michele Fabi
Optimal Cryptocurrency Design: Seigniorage versus Transaction Fees
Preprint

Michele Fabi and Julien Prat
The Economics of Constant Function Market Makers
Preprint

Ran Cohen, Juan Garay, and Vassilis Zikas
Completeness Theorems for Adaptively Secure Broadcast
43rd International Cryptology Conference - Crypto 2023 – (To Appear)

Kaya Alpturer, Joseph Halpern, and Ron van der Meyden
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
42nd Annual ACM Symposium on Principles of Distributed Computing – ACM PODC 2023 – (To Appear)

Xinming Liu and Joseph Halpern
Strategic Play By Resource-Bounded Agents in Security Games
22nd International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2023 – (To Appear)

Shweta Agrawal, Anshu Yadav and Junichi Tomida
Attribute-Based Multi-Input FE (and more) for Attribute-Weighted Sums
43rd International Cryptology Conference - Crypto 2023 (To Appear)

Shweta Agrawal, Mèlissa Rossi, Anshu Yadav and Shota Yamada
Constant Input Attribute Based (and Predicate) Encryption from Evasive and Tensor LWE
43rd International Cryptology Conference - Crypto 2023 (To Appear)

Sebastian Faust, Carmit Hazay, David Kretzler and Benjamin Schlosser
Threshold Witness Encryption Statement Obliviousness Committee-Based Decryption Threshold Tag-Based Encryption
36^th IEEE Computer Security Foundations Symposium - CSF'23 - (To Appear)

Laasya Bangalore, Mohammad Hossein Faghihi Sereshgi, Carmit Hazay and Muthuramakrishnan Venkitasubramaniam
Flag: A Framework for Lightweight Robust Secure Aggregation
ACM - AsiaCCS 2023 - (To Appear)

Shuangyi Chen, Anuja Modi, Shweta Agrawal and Ashish Khisti
Quadratic Functional Encryption for Secure Training in Vertical Federated Learning
IEEE International Symposium on Information Theory (ISIT), 2023 - (To Appear)

Alex Cojocaru, Juan Garay, Aggelos Kiayias, Fang Song, Petros Wallden
Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security
Quantum 7, 944 (2023)
A preliminary full version is available (PDF)

Kaya Alpturer, Joseph Halpern, and Ron van der Meyden
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
42nd Annual ACM Symposium on Principles of Distributed Computing – ACM PODC 2023 – (To Appear)

Anasuya Acharya, Carmit Hazay, Vladimir Kolesnikov, Manoj Prabhakaran
SCALES: MPC with Small Clients and Larger Ephemeral Servers
Theory of Cryptography Conference – TCC 2022.
A preliminary full version is available (PDF)

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Predicate abstractions for smart contract validation
25^th International Conference on Model Driven Engineering Languages and Systems – MODELS ’22.
A preliminary full version is available (PDF)

Shweta Agrawal, Elena Kirshanova, Damien Stehle, Anshu Yadav
Practical, Round-Optimal Lattice-Based Blind Signatures
The ACM Conference on Computer and Communications Security -- CCS 2022.
A preliminary full version is available (PDF)

Shweta Agrawal, Fuyuki Kitagawa, Anuja Modi, Ryo Nishimaki, Shota Yamada, Takashi Yamakawa
Bounded Functional Encryption for Turing Machines: Adaptive Security from General Assumptions
Theory of Cryptography Conference -- TCC 2022.
A preliminary full version is available (PDF)

Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos
Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity
The 9th International Conference on Algebraic Informatics – CAI 2022.
A preliminary full version is available (PDF)

Juan Garay, Aggelos Kiayias, Yu Shen
Permissionless Clock Synchronization with Public Setup
Theory of Cryptography Conference -- TCC 2022.
A preliminary full version is available (PDF)

Natkamon Tovanich, Remy Cazabet
Pattern Analysis of Money Flow in the Bitcoin Blockchain
“The 11th International Conference on Complex Networks and their Applications” -- COMPLEX NETWORKS 2022.
A preliminary full version is available (PDF)

Michele Fabi, Myriam Kassoul, Julien Prat
SoK: Constant Function Market Makers
Book chapter in "A Companion to Decentralized Finance, Digital Assets, and Blockchain Technologies,"