Rohit Chadha

According to our database, Rohit Chadha authored at least 54 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deciding Branching Hyperproperties for Real Time Systems.

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Analyzing Component Composability of Cloud Security Configurations.

Kandasamy Muniasamy, Rohit Chadha, Prasad Calyam, M. Sethumadhavan

IEEE Access, 2023

Stack-Aware Hyperproperties.

Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Enhancing Computing Curricular Outcomes and Student Accomplishments Through Collegiate Competitions.

Vijay Anand, Natalie A. Bolton, Prasad Calyam, Rohit Chadha, Rajendra K. Raj, Sumita Mishra

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

Deciding Differential Privacy of Online Algorithms with Multiple Variables.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents.

Prasad Calyam, Mayank Kejriwal, Praveen Rao, Jianlin Cheng, Weichao Wang, Linquan Bai, V. Sriram Siddhardh Nadendla, Sanjay Madria, Sajal K. Das, Rohit Chadha, Khaza Anuarul Hoque, Kannappan Palaniappan, Kiran Neupane, Roshan Lal Neupane, Sankeerth Gandhari, Mukesh Singhal, Lotfi Ben Othmane, Meng Yu, Vijay Anand, Bharat K. Bhargava, Brett Robertson, Kerk F. Kee, Patrice Buzzanell, Natalie A. Bolton, Harsh Taneja

Proceedings of the 52nd IEEE Applied Imagery Pattern Recognition Workshop, 2023

2021

Deciding accuracy of differential privacy schemes.

Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan

Proc. ACM Program. Lang., 2021

On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.

Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla, Mitsuhiro Okada

ACM Trans. Comput. Log., 2020

Exact quantitative probabilistic model checking through rational search.

Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Formal Methods Syst. Des., 2020

Deciding Differential Privacy for Programs with Finite Inputs and Outputs.

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Strongly bounded termination with applications to security and hardware synthesis.

Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, 2020

Modelchecking Safety Properties in Randomized Security Protocols.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Logic, 2020

2019

Decidable and expressive classes of probabilistic automata.

Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

J. Comput. Syst. Sci., 2019

Automated Methods for Checking Differential Privacy.

Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan

CoRR, 2019

2018

Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker.

Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla

IACR Cryptol. ePrint Arch., 2018

Approximating Probabilistic Automata by Regular Languages.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Model Checking Indistinguishability of Randomized Security Protocols.

Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Verification of randomized security protocols.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Modular Verification of Protocol Equivalence in the Presence of Randomness.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer

ACM Trans. Comput. Log., 2016

Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.

Gergei Bana, Rohit Chadha

IACR Cryptol. ePrint Arch., 2016

Composing Protocols with Randomized Actions.

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2014

Least upper bounds for probability measures and their applications to abstractions.

Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan

Inf. Comput., 2014

Decidable Problems for Unary PFAs.

Rohit Chadha, Dileep Kini, Mahesh Viswanathan

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Quantitative Information Flow in Boolean Programs.

Rohit Chadha, Dileep Kini, Mahesh Viswanathan

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Computing Information Flow Using Symbolic Model-Checking.

Rohit Chadha, Umang Mathur, Stefan Schwoon

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Reachability under Contextual Locking.

Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan

Log. Methods Comput. Sci., 2013

Probabilistic Automata with Isolated Cut-Points.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Bounded Context-Switching and Reentrant Locking.

Rémi Bonnet, Rohit Chadha

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Reachability under Contextual Locking.

Rohit Chadha, P. Madhusudan, Mahesh Viswanathan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

The Complexity of Quantitative Information Flow in Recursive Programs.

Rohit Chadha, Michael Ummels

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit Chadha, Stefan Ciobaca, Steve Kremer

Proceedings of the Programming Languages and Systems, 2012

2011

Power of Randomization in Automata on Infinite Strings

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Log. Methods Comput. Sci., 2011

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.

Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

A counterexample-guided abstraction-refinement framework for markov decision processes.

Rohit Chadha, Mahesh Viswanathan

ACM Trans. Comput. Log., 2010

Complexity Bounds for the Verification of Real-Time Software.

Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan

Proceedings of the Verification, 2010

Model Checking Concurrent Programs with Nondeterminism and Randomization.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Deciding branching time properties for asynchronous programs.

Rohit Chadha, Mahesh Viswanathan

Theor. Comput. Sci., 2009

On the expressiveness and complexity of randomization in finite state monitors.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

J. ACM, 2009

Epistemic Logic for the Applied Pi Calculus.

Rohit Chadha, Stéphanie Delaune, Steve Kremer

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.

Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Reasoning about probabilistic sequential programs.

Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas

Theor. Comput. Sci., 2007

Towards Model-Checking Quantum Security Protocols.

Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.

Rohit Chadha, Mahesh Viswanathan

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

A Hybrid Intuitionistic Logic: Semantics and Decidability.

Rohit Chadha, Damiano Macedonio, Vladimiro Sassone

J. Log. Comput., 2006

Formal Analysis of Multiparty Contract Signing.

Rohit Chadha, Steve Kremer, Andre Scedrov

J. Autom. Reason., 2006

Reasoning About Imperative Quantum Programs.

Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Reasoning About States of Probabilistic Sequential Programs.

Rohit Chadha, Paulo Mateus, Amílcar Sernadas

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Contract signing, optimism, and advantage.

Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov

J. Log. Algebraic Methods Program., 2005

2004

Formal Analysis of Multi-Party Contract Signing.

Rohit Chadha, Steve Kremer, Andre Scedrov

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2001

Inductive methods and contract-signing protocols.

Rohit Chadha, Max I. Kanovich, Andre Scedrov

Proceedings of the CCS 2001, 2001