The importance of being able to verify quantum computation delegated to remote servers increases with recent development of quantum technologies. In some of the proposed protocols for this task, a client delegates her quantum computation to non-communicating servers. The fact that the servers do not communicate is not physically justified and it is essential for the proof of security of such pr...

We describe TripletMail, a system for outsourcing e-mail backups. The typical corporate mail server that handles receiving, sending and storing e-mails is replaced by two components: A mail server for SMTP/IMAP and a storage system which maintains several encrypted copies of each e-mail in racks of inexpensive servers. In this thesis, we focus on two problems of the storage system: In inexpensi...

We study the tradeoff between efficiency and service quality in tandem systems. We reward efficiency by assuming that a revenue is earned each time a job is completed, and we penalize poor service quality by incorporating positive holding costs. We study the dynamic assignment of servers to tasks with the objective of maximizing the long-run average profit. For systems of arbitrary size, genera...

Abstract High-performance computing (HPC) data centers demand cutting edge cooling techniques like direct contact liquid (DCLC) for safe and secure operation of their high-power density servers. The two-phase flow boiling heat transfer technique is widely believed to address the heating problem posed by HPC racks. In this study, a novel liquid-cooled cold plate containing microchannel jet impin...

IMS is well integrated with existing voice and data networks, while adopting many of their key characteristics. The Call Session Control Functions (CSCFs) servers are the key part of the IMS structure. They are the main components responsible for processing and routing signalling messages. When CSCFs servers (P-CSCF, I-CSCF, S-CSCF) are running on the same host, the SIP message can be internall...