Author: Patrick Lincoln

  • A Nonlinear Real Arithmetic Fragment

    We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.

  • Neuroscience Meets Cryptography: Crypto Primitives Secure against Rubber Hose Attacks

    We present a defense against coercion attacks using the concept of implicit learning from cognitive psychology. We use a carefully crafted computer game to plant a secret password in the participant’s brain without the participant having any conscious knowledge of the trained password.

  • Safety Envelope for Security

    We present an approach for detecting sensor spoofing attacks on a cyber-physical system. Our approach consists of two steps. In the first step, we construct a safety envelope of the system. In the second step, we build an attack detector: a monitor that executes synchronously with the system and raises an alarm whenever the system state falls outside…