Rafik B. Hariri Institute for Computing and Computational Science and Engineering
Browse by:
URI: http://hdl.handle.net/2144/43231
Collections in this community
Recently Added
-
Mechanizing the proof of adaptive, information-theoretic security of cryptographic protocols in the random Oracle model
(IEEE, 2017-08-21)We report on our research on proving the security of multi-party cryptographic protocols using the EASYCRYPT proof assistant. We work in the computational model using the sequence of games approach, and define honest-butcurious ... -
Arithmetic and Boolean secret sharing MPC on FPGAs in the data center
(IEEE, 2020-09-22)Multi-Party Computation (MPC) is an important technique used to enable computation over confidential data from several sources. The public cloud provides a unique opportunity to enable MPC in a low latency environment. ... -
Privacy-preserving automated exposure notification
(2020)Contact tracing is an essential component of public health efforts to slow the spread of COVID-19 and other infectious diseases. Automating parts of the contact tracing process has the potential to significantly increase ... -
Protecting cryptography against compelled self-incrimination
(2020)The information security community has devoted substantial effort to the design, development, and universal deployment of strong encryption schemes that withstand search and seizure by computationally- powerful nation-state ... -
Principal inertia components and applications
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017-08-01)We explore properties and applications of the principal inertia components (PICs) between two discrete random variables X and Y. The PICs lie in the intersection of information and estimation theory, and provide a fine-grained ... -
Secret sharing MPC on FPGAs in the datacenter
(2020)Multi-Party Computation (MPC) is a technique enabling data from several sources to be used in a secure computation revealing only the result while protecting the orig- inal data, facilitating shared utilization of data ...
RSS 1.0