Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits Omar Chowdhury Deepak Garg

Source URL: www.andrew.cmu.edu

• Cryptography
• Public-key cryptography
• Probabilistic encryption
• Deterministic encryption
• Encryption
• Ciphertext indistinguishability
• Database encryption
• Tiny Encryption Algorithm
• RSA
• Advantage
• Data Encryption Standard
• Homomorphic encryption

Enabling Bit-by-Bit Backscatter Communication in Severe Energy Harvesting Environments Pengyu Zhang, Deepak Ganesan {pyzhang, dganesan}@cs.umass.edu University of Massachusetts Amherst

Source URL: people.cs.umass.edu

QuarkOS: Pushing the operating limits of micro-powered sensors Pengyu Zhang, Deepak Ganesan, Boyan Lu {pyzhang, dganesan}@cs.umass.edu, University of Massachusetts Amherst Abstract

Source URL: people.cs.umass.edu

EnGarde: Protecting the Mobile Phone from Malicious NFC Interactions Jeremy Gummeson1 , Bodhi Priyantha2 , Deepak Ganesan1 , Derek Thrasher1 , Pengyu Zhang1 1

Source URL: lass.cs.umass.edu

PRESS RELEASE Deepak Tiwari, PhD, joins Particle Sciences as Director of Formulation and Process Development BETHLEHEM, PA, January 8, Particle Sciences, Inc. today announced the appointment of Deepak Tiwari, PhD

Source URL: www.particlesciences.com

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Analysis of the Semi-synchronous Approach to Large-scale Parallel Community Finding Erika Duriakova, Neil Hurley Deepak Ajwani, Alessandra Sala

Source URL: cosn.acm.org

Leveraging Interleaved Signal Edges for Concurrent Backscatter Pan Hu Pengyu Zhang Deepak Ganesan

Source URL: panhu.me

PRESENTATION SPEAKERS OPENING KEYNOTE DEEPAK CHOPRA, MD INTERNIST/ENDOCRINOLOGIST

Source URL: www.empoweractive2015.org

BARC NEWSLETTER -TOCOTRIENOL INDUCED APOPTOSIS IN TUMOR CELLS THROUGH ACTIVATION OF INTRINSIC AND EXTRINSIC PATHWAYS Chandan Wilankar, Nazir M. Khan, Rahul Checker, Deepak Sharma, R. S. Patwardhan, Santosh. K. Sandur

Source URL: www.barc.gov.in