Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Rastogi, Aseem"'
Memory safety violations in low-level code, written in languages like C, continues to remain one of the major sources of software vulnerabilities. One method of removing such violations by construction is to port C code to a safe C dialect. Such dial
Externí odkaz:
http://arxiv.org/abs/2404.01096
Autor:
Kamath, Adharsh, Senthilnathan, Aditya, Chakraborty, Saikat, Deligiannis, Pantazis, Lahiri, Shuvendu K., Lal, Akash, Rastogi, Aseem, Roy, Subhajit, Sharma, Rahul
Loop invariants are fundamental to reasoning about programs with loops. They establish properties about a given loop's behavior. When they additionally are inductive, they become useful for the task of formal verification that seeks to establish stro
Externí odkaz:
http://arxiv.org/abs/2311.07948
Autor:
Chakraborty, Saikat, Lahiri, Shuvendu K., Fakhoury, Sarah, Musuvathi, Madanlal, Lal, Akash, Rastogi, Aseem, Senthilnathan, Aditya, Sharma, Rahul, Swamy, Nikhil
Synthesizing inductive loop invariants is fundamental to automating program verification. In this work, we observe that Large Language Models (such as gpt-3.5 or gpt-4) are capable of synthesizing loop invariants for a class of programs in a 0-shot s
Externí odkaz:
http://arxiv.org/abs/2310.09342
The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alternatives like C/C++. These guarantees come from a strong ownership-based
Externí odkaz:
http://arxiv.org/abs/2308.05177
Autor:
Swamy, Nikhil, Rastogi, Aseem, Fromherz, Aymeric, Merigoux, Denis, Ahman, Danel, Martínez, Guido
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming constructs and program logi
Externí odkaz:
http://arxiv.org/abs/2111.15149
Autor:
Rathee, Deevashwer, Rathee, Mayank, Goli, Rahul Kranti Kiran, Gupta, Divya, Sharma, Rahul, Chandran, Nishanth, Rastogi, Aseem
Complex machine learning (ML) inference algorithms like recurrent neural networks (RNNs) use standard functions from math libraries like exponentiation, sigmoid, tanh, and reciprocal of square root. Although prior work on secure 2-party inference pro
Externí odkaz:
http://arxiv.org/abs/2105.04236
Autor:
Alvarez-Valle, Javier, Bhatu, Pratik, Chandran, Nishanth, Gupta, Divya, Nori, Aditya, Rastogi, Aseem, Rathee, Mayank, Sharma, Rahul, Ugare, Shubham
We present CRYPTFLOW, a system that converts TensorFlow inference code into Secure Multi-party Computation (MPC) protocols at the push of a button. To do this, we build two components. Our first component is an end-to-end compiler from TensorFlow to
Externí odkaz:
http://arxiv.org/abs/2012.05064
Autor:
Rathee, Deevashwer, Rathee, Mayank, Kumar, Nishant, Chandran, Nishanth, Gupta, Divya, Rastogi, Aseem, Sharma, Rahul
We present CrypTFlow2, a cryptographic framework for secure inference over realistic Deep Neural Networks (DNNs) using secure 2-party computation. CrypTFlow2 protocols are both correct -- i.e., their outputs are bitwise equivalent to the cleartext ex
Externí odkaz:
http://arxiv.org/abs/2010.06457
Autor:
Kumar, Nishant, Rathee, Mayank, Chandran, Nishanth, Gupta, Divya, Rastogi, Aseem, Sharma, Rahul
We present CrypTFlow, a first of its kind system that converts TensorFlow inference code into Secure Multi-party Computation (MPC) protocols at the push of a button. To do this, we build three components. Our first component, Athos, is an end-to-end
Externí odkaz:
http://arxiv.org/abs/1909.07814
Autor:
Mukherjee, Suvam, Raj, Nitin John, Govindraj, Krishnan, Deligiannis, Pantazis, Ravichandran, Chandramouleswaran, Lal, Akash, Rastogi, Aseem, Krishnaswamy, Raja
Building reliable applications for the cloud is challenging because of unpredictable failures during a program's execution. This paper presents a programming framework called Reliable State Machines (RSMs), that offers fault-tolerance by construction
Externí odkaz:
http://arxiv.org/abs/1902.09502