Deepak Garg | DeepAI

AI Chat

Featured Co-authors

Bernhard Schölkopf
271 publications
Michael Backes
44 publications
Manuel Gomez-Rodriguez
43 publications
Justin Hsu
32 publications
Marco Gaboardi
32 publications
Gilles Barthe
30 publications
Shin-ya Katsumata
19 publications
Éric Tanter
19 publications
Marco Patrignani
17 publications
Aniket Kate
17 publications
Catalin Hritcu
15 publications

∙ 08/29/2022

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow

This tutorial provides a complete and homogeneous account of the latest ...

0 Marco Vassena, et al. ∙

∙ 08/07/2022

CoVault: A Secure Analytics Platform

In a secure analytics platform, data sources consent to the exclusive us...

0 Roberta de Viti, et al. ∙

∙ 05/23/2022

Groundhog: Efficient Request Isolation in FaaS

Security is a core responsibility for Function-as-a-Service (FaaS) provi...

0 Mohamed Alzayat, et al. ∙

∙ 11/05/2021

Pirouette: Higher-Order Typed Functional Choreographies

We present Pirouette, a language for typed higher-order functional chore...

0 Andrew K. Hirsch, et al. ∙

∙ 10/04/2021

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

Proving secure compilation of partial programs typically requires back-t...

0 Akram El-Korashy, et al. ∙

∙ 07/02/2021

Higher-order probabilistic adversarial computations: Categorical semantics and program logics

Adversarial computations are a widely studied class of computations wher...

0 Alejandro Aguirre, et al. ∙

∙ 04/30/2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI

Almost all SFI systems use heavyweight transitions that incur significan...

0 Matthew Kolosick, et al. ∙

∙ 04/16/2021

ScreenSeg: On-Device Screenshot Layout Analysis

We propose a novel end-to-end solution that performs a Hierarchical Layo...

4 Manoj Goyal, et al. ∙

∙ 11/16/2020

PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation

During the ongoing COVID-19 pandemic, there have been burgeoning efforts...

0 Gilles Barthe, et al. ∙

∙ 05/12/2020

CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle

Capability machines such as CHERI provide memory capabilities that can b...

0 Akram El-Korashy, et al. ∙

∙ 10/31/2019

Causality Control Flow

Causality has been the issue of philosophic debate since Hippocrates. It...

0 Robert Künnemann, et al. ∙

∙ 08/30/2019

Pacer: Network Side-Channel Mitigation in the Cloud

An important concern for many Cloud customers is data confidentiality. O...

0 Aastha Mehta, et al. ∙

∙ 07/11/2019

Trace-Relating Compiler Correctness and Secure Compilation

Compiler correctness is, in its simplest form, defined as the inclusion ...

0 Carmine Abate, et al. ∙

∙ 12/12/2018

Bidirectional Type Checking for Relational Properties

Relational type systems have been designed for several applications incl...

0 Ezgi Çiçek, et al. ∙

∙ 12/10/2018

Relational Cost Analysis for Functional-Imperative Programs

Relational cost analysis aims at formally establishing bounds on the dif...

0 Weihao Qu, et al. ∙

∙ 10/23/2018

SATE: Robust and Private Allegation Escrows

For fear of retribution, the victim of a crime may be willing to report ...

0 Venkat Arun, et al. ∙

∙ 07/16/2018

Formal verification of higher-order probabilistic programs

Probabilistic programming provides a convenient lingua franca for writin...

0 Tetsuya Sato, et al. ∙

∙ 07/12/2018

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Good programming languages provide helpful abstractions for writing secu...

0 Carmine Abate, et al. ∙

∙ 07/12/2018

Exploring Robust Property Preservation for Secure Compilation

Good programming languages provide helpful abstractions for writing more...

0 Carmine Abate, et al. ∙

∙ 04/30/2018

Types for Information Flow Control: Labeling Granularity and Semantic Models

Language-based information flow control (IFC) tracks dependencies within...

0 Vineet Rajani, et al. ∙

∙ 04/02/2018

Robustly Safe Compilation or, Efficient, Provably Secure Compilation

Secure compilers generate compiled code that withstands many target- lev...

0 Marco Patrignani, et al. ∙

∙ 02/27/2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

We extend the simply-typed guarded λ-calculus with discrete probabilitie...

0 Alejandro Aguirre, et al. ∙

∙ 01/21/2018

ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys

Many applications can benefit from isolating sensitive data in a secure ...

0 Anjo Vahldiek-Oberwagner, et al. ∙

∙ 01/14/2018

Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead

Data retrieval systems such as online search engines and online social n...

0 Eslam Elnikety, et al. ∙

∙ 11/30/2017

An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code

We present an instrumenting compiler for enforcing data confidentiality ...

0 Ajay Brahmakshatriya, et al. ∙

∙ 10/19/2017

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

We map the space of soundness criteria for secure compilation based on t...

0 Deepak Garg, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world