A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg

Source URL: www.cs.cmu.edu

• Computer security
• Computing
• Trusted computing
• Cryptography
• Trusted Execution Technology
• X86 architecture
• Trusted Platform Module
• Monitor
• Futures and promises
• Trusted computing base
• Polymerase chain reaction
• Thread

Analysis of ecrime in Crowd-sourced Labor Markets: Mechanical Turk vs. Freelancer Vaibhav Garg, Chris Kanich, L. Jean Camp Abstract Research in the economics of security has contributed more than a decade of empirical fi

Source URL: cryptosec.ucsd.edu

A Simple Algorithm for Computing a Spiral Polygonization of a Finite Planar Set M. Ahsan, S. Cheruvatur, M. Gamboni, A. Garg, O. Grishin, S. Hashimoto, J. Jermsurawong, G. T. Toussaint, and L. Zhang Faculty of Science, N

Source URL: fwcg14.cse.uconn.edu

As on March 2, 2015 Board of Governors, AcSIR (a) The Chairperson: Dr. R.A. Mashelkar (b) Vice Chairperson: Dr. M.O. Garg, DG, CSIR (c) President of INSA in ex-officio capacity: Prof. Raghavendra Gadagkar

Source URL: acsir.res.in

A SATELLITE EDUSAT: CHANGING THE STATE OF EDUCATION IN INDIA Nidhi Garg INTRODUCTION

Source URL: linc.mit.edu

Fifth International Workshop on SECurity and SOCial Networking 2013, San Diego (18 MarchStudying the Effectiveness of Android Application Permissions Requests Kevin Benton, L. Jean Camp, Vaibhav Garg School of In

Source URL: www.csee.usf.edu

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

Seamless Fracture in a Production Pipeline Akash Garg⇤ Kyle Maxwell† DreamWorks Animation

Source URL: www1.cs.columbia.edu

Agent-based Evacuation Modeling: Simulating the Los Angeles International Airport Jason Tsai, Emma Bowring, Shira Epstein, Natalie Fridman, Prakhar Garg, Gal Kaminka, Andrew Ogden, Milind Tambe, Matthew Taylor {jasontts@

Source URL: teamcore.usc.edu

ARTICLES PUBLISHED ONLINE: 25 NOVEMBER 2012 | DOI: NCHEM.1504 Regioselective reactions of 3,4-pyridynes enabled by the aryne distortion model Adam E. Goetz and Neil K. Garg*

Source URL: www.chem.ucla.edu