23 citations · 29 across the 5 of their papers we have counts for
6 papers
Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors
Mihai Christodorescu, Maliheh Shirvanian, Shams Zawoad
Application authentication is typically performed using some form of secret credentials such as cryptographic keys, passwords, or API keys. Since clients are responsible for secure…
Universal Payment Channels: An Interoperability Platform for Digital Currencies
Mihai Christodorescu, Erin English, Wanyun Catherine Gu +7
With the innovation of distributed ledger technology (DLT), often known as blockchain technology, there has been significant growth of digital tokens in the form of cryptocurrencie…
Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies
Mihai Christodorescu, Wanyun Catherine Gu, Ranjit Kumaresan +8
Digital payments traditionally rely on online communications with several intermediaries such as banks, payment networks, and payment processors in order to authorize and process p…
Privacy-Preserving Payment Splitting
Saba Eskandarian, Mihai Christodorescu, Payman Mohassel
Widely used payment splitting apps allow members of a group to keep track of debts between members by sending charges for expenses paid by one member on behalf of others. While off…
COSET: A Benchmark for Evaluating Neural Program Embeddings
Ke Wang, Mihai Christodorescu
Neural program embedding can be helpful in analyzing large software, a task that is challenging for traditional logic-based program analyses due to their limited scalability. A key…
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways
Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu
Imagine that a malicious hacker is trying to attack a server over the Internet and the server wants to block the attack packets as close to their point of origin as possible. Howev…