Rohit Chadha
According to our database^{1},
Rohit Chadha
authored at least 47 papers
between 2001 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on cs.uiuc.edu
On csauthors.net:
Bibliography
2021
Proc. ACM Program. Lang., 2021
2020
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
ACM Trans. Comput. Log., 2020
Formal Methods Syst. Des., 2020
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.
Proceedings of the 5th ACM SIGPLAN International Workshop on TypeDriven Development, 2020
Proceedings of the Logic, 2020
2019
J. Comput. Syst. Sci., 2019
CoRR, 2019
2018
IACR Cryptol. ePrint Arch., 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Proceedings of the Computer Aided Verification  30th International Conference, 2018
2017
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the Computer Security  ESORICS 2017, 2017
2016
ACM Trans. Comput. Log., 2016
Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability.
IACR Cryptol. ePrint Arch., 2016
Proceedings of the Principles of Security and Trust  5th International Conference, 2016
2014
Least upper bounds for probability measures and their applications to abstractions.
Inf. Comput., 2014
Proceedings of the Quantitative Evaluation of Systems  11th International Conference, 2014
Proceedings of the Principles of Security and Trust  Third International Conference, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Programming Languages and Systems, 2012
2011
Log. Methods Comput. Sci., 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
2010
A counterexampleguided abstractionrefinement framework for markov decision processes.
ACM Trans. Comput. Log., 2010
Proceedings of the Verification, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Theor. Comput. Sci., 2009
J. ACM, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Modular Preservation of Safety Properties by CookieBased DoSProtection Wrappers.
Proceedings of the Formal Methods for Open ObjectBased Distributed Systems, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007
Decidability Results for WellStructured Transition Systems with Auxiliary Storage.
Proceedings of the CONCUR 2007  Concurrency Theory, 18th International Conference, 2007
2006
J. Log. Comput., 2006
J. Autom. Reason., 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
J. Log. Algebraic Methods Program., 2005
2004
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004
2001
Proceedings of the CCS 2001, 2001