Browsing Mathematics (Faculty of) by Supervisor "Gorbunov, Sergey"
Now showing items 1-5 of 5
-
FairBlock: Preventing Blockchain Front-running with Minimal Overheads
(University of Waterloo, 2022-08-17)While blockchain systems are quickly gaining popularity, front-running remains a major obstacle to fair exchange. Front-running is a family of strategies in which a malicious party manipulates the order of transactions ... -
Making Renewable Energy Certificates Efficient, Trustworthy, and Private
(University of Waterloo, 2020-08-19)Although renewable energy costs are declining rapidly, producers still rely on additional incentives, such as Renewable Energy Certificates (RECs), when making an investment decision. An REC is a proof that a certain amount ... -
Privately Constrained Testable Pseudorandom Functions
(University of Waterloo, 2018-09-20)Privately Constrained Pseudorandom Functions allow a PRF key to be delegated to some evaluator in a constrained manner, such that the key’s functionality is restricted with respect to some secret predicate. Variants of ... -
Securing Cloud Computations with Oblivious Primitives from Intel SGX
(University of Waterloo, 2017-12-12)We are witnessing a confluence between applied cryptography and secure hardware systems in enabling secure cloud computing. On one hand, work in applied cryptography has enabled efficient, oblivious data-structures and ... -
User-Controlled Computations in Untrusted Computing Environments
(University of Waterloo, 2019-01-15)Computing infrastructures are challenging and expensive to maintain. This led to the growth of cloud computing with users renting computing resources from centralized cloud providers. There is also a recent promise in ...