Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC

We present a novel compiler for transforming arbitrary, passively secure MPC protocols into efficient protocols with covert security and public verifiability in the honest majority setting. Our compiler works for protocols with any number of parties > 2 and treats the passively secure protocol in a black-box manner. In multi-party computation ...

Loop transformations leveraging hardware prefetching

Memory-bound applications heavily depend on the bandwidth of the system in order to achieve high performance. Improving temporal and/or spatial locality through loop transformations is a common way of mitigating this dependency. However, choosing the right combination of optimizations is not a trivial task, due to the fact that most of them...

An experimental microarchitecture for a superconducting qantum processor

Quantum computers promise to solve certain problems that are intractable for classical computers, such as factoring large numbers and simulating quantum systems. To date, research in quantum computer engineering has focused primarily at opposite ends of the required system stack: devising high-level programming languages and compilers to...

BOA: A cognitive tactical picture compilation agent

Simulation-based training in complex decision-making can be made more effective by using intelligent software agents to play key roles, such as teammates, opponents and instructors. This paper presents a cognitive software agent that is capable of compiling a tactical picture in the domain of Naval Anti-Surface Warfare. The agent is implemented...