Resources‎ > ‎

Publications for 2015-2016

Adaptively Secure Garbled Circuits from One-Way Functions

Brett Hemenway, Zahra Jafargholi, Rafail Ostrovsky, Alessandra Scafuro, Daniel Wichs

CRYPTO 2016

(pdf download link provided below)

All Complete Functionalities are Reversible

Dakshita Khurana, Daniel Kraschewski, Hemanta K. Maji, Manoj Prabhakaran, Amit Sahai 

EUROCRYPT 2016

(pdf download link provided below)

Secure Computation from Elastic Noisy Channels

Dakshita Khurana, Hemanta K. Maji, Amit Sahai 

EUROCRYPT 2016

(pdf download link provided below)

System Identification in the Presence of Adversarial Outputs

Mehrdad Showkatbakhsh, Paulo Tabuada and Suhas Diggavi

CDC 2016

(pdf download link provided below)

Provably Secure Virus Detection: Using The Observer Effect Against Malware

Rafail Ostrovsky, Richard Lipton, Vassilis Zikas

ICALP 2016

(pdf download link provided below)

Secure State Estimation Against Sensor Attacks in the Presence of Noise

Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas Diggavi, Paulo Tabuada

IEEE Transactions on Control of Network Systems 2016

(pdf download link provided below)

LEDPUF: Stability-guaranteed physical unclonable functions through locally enhanced defectivity

Wei-Che Wang, Yair Yona, Suhas N. Diggavi, Puneet Gupta

HOST 2016

(pdf download link provided below)

SMT-based observer design for cyber-physical systems under sensor attacks

Yasser Shoukry, Michelle Chong, Masashi Wakiaki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Joao. P. Hespanha, and Paulo Tabuada

International Conference on Cyber-Physical Systems 2016

(pdf download link provided below)

Event-Triggered State Observers for Sparse Sensor Noise/Attacks

Y. Shoukry, and P. Tabuada

IEEE Transactions of Automatic Control 2016

(pdf download link provided below)

Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption

Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada

CDC 2016

(pdf download link provided below)

Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks

Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava

ACM Transactions on Information and System Security 2016

(pdf download link provided below)

Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada

IEEE Transactions of Automatic Control 2016

(pdf download link provided below)

PyCRA: Physical ChallengeResponse Authentication for Active Sensors

Yasser Shoukry, Paul Martin, Yair Yona, Suhas Diggavi, and Mani Srivastava

ACM CCS 2015

(pdf download link provided below)
Ċ
admin uclacps,
Jan 30, 2017, 4:25 PM
Ċ
admin uclacps,
Jan 30, 2017, 4:58 PM
Ċ
admin uclacps,
Jan 30, 2017, 4:58 PM
Comments