( en | de | ru )

 

Disambiguation of "Garg, Deepak"

Author of the publication

copydeleteadd this publication to your clipboard
An Authorization Logic With Explicit Time.

, , and . CSF, page 133-145. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Neil Garg

Animesh Garg

Deepak Bararia

Deepak Ajwani

Priya Garg

 

Other publications of authors with the same name

Groundhog: Efficient Request Isolation in FaaS., , , and . EuroSys, page 398-415. ACM, (2023)Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud., , , , , and . USENIX Security Symposium, page 2819-2838. USENIX Association, (2022)Thoth: Comprehensive Policy Compliance in Data Retrieval Systems., , , , and . USENIX Security Symposium, page 637-654. USENIX Association, (2016)A Proof-Carrying File System with Revocable and Use-Once Certificates., , and . STM, volume 7170 of Lecture Notes in Computer Science, page 40-55. Springer, (2011)Policy auditing over incomplete logs: theory, implementation and applications., , and . CCS, page 151-162. ACM, (2011)An Authorization Logic With Explicit Time., , and . CSF, page 133-145. IEEE Computer Society, (2008)Non-Interference in Constructive Authorization Logic., and . CSFW, page 283-296. IEEE Computer Society, (2006)Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction., , and . CSF, page 139-153. IEEE Computer Society, (2012)Experiences in the logical specification of the HIPAA and GLBA privacy laws., , , , and . WPES, page 73-82. ACM, (2010)Bootstrap sequential projection multi kernel Locality Sensitive Hashing., and . ICACCI, page 213-218. IEEE, (2014)