( en | de | ru )

 

Disambiguation of "Garg, Deepak"

Author of the publication

copydeleteadd this publication to your clipboard
Higher-order probabilistic adversarial computations: categorical semantics and program logics.

, , , , , and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)

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

Drone-surveillance for search and rescue in natural disaster., , , and . Comput. Commun., (2020)Choquet integral based deep learning model for COVID-19 diagnosis using eXplainable AI for NG-IoT models., , , and . Comput. Commun., (December 2023)Superficially substructural types., , , and . ICFP, page 41-54. ACM, (2012)Thoth: Comprehensive Policy Compliance in Data Retrieval Systems., , , , and . USENIX Security Symposium, page 637-654. USENIX Association, (2016)Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud., , , , , and . USENIX Security Symposium, page 2819-2838. USENIX Association, (2022)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)A Proof-Carrying File System., and . IEEE Symposium on Security and Privacy, page 349-364. IEEE Computer Society, (2010)Early detection of faults related to database schematic changes., and . JAMAICA@ISSTA, page 1-6. ACM, (2013)Groundhog: Efficient Request Isolation in FaaS., , , and . EuroSys, page 398-415. ACM, (2023)Transfusion of Extended Vigenere Table and ASCII Conversion for Encryption Contrivance., , , , and . IBICA, volume 939 of Advances in Intelligent Systems and Computing, page 36-45. Springer, (2018)