Adversary models have been integral to the design of provably-secure cryptographic
schemes or protocols. However, their use in other computer science research disciplines is …

In recent years, the ever-mounting problem of Internet phishing has been threatening the
secure propagation of sensitive data over the web, thereby resulting in either outright …

Smart contracts are applications that execute on blockchains. Today they manage billions of
dollars in value and motivate visionary plans for pervasive blockchain deployment. While …

Secure multi-party computation (MPC) allows a group of mutually distrustful parties to
compute a joint function on their inputs without revealing any information beyond the result …

There has been significant interest of late in generating behavior of agents that is
interpretable to the human (observer) in the loop. However, the work in this area has …

New levels of cross-domain collaboration between manufacturing companies throughout the
supply chain are anticipated to bring benefits to both suppliers and consumers of products …

Secure Multi-Party Computation (MPC) allows mutually distrusting parties to run joint
computations without revealing private data. Current MPC algorithms scale poorly with data …

Making new friends by measuring the proximity of people's profile is a crucial service in
mobile social networks. With the rapid development of cloud computing, outsourcing …

The Internet of Production (IoP) envisions the interconnection of previously isolated CPS in
the area of manufacturing across institutional boundaries to realize benefits such as …

Fog computing is transforming the network edge into an intelligent platform by bringing
storage, computing, control, and networking functions closer to end users, things, and …