DISSERTATION

PUBLICATIONS

SECURITY

Contract Signing

• R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of multi-party contract signing. Journal of Automated Reasoning (Special Issue on Automated Reasoning for Security Protocol Analysis), 36(1-2), pages 39-83, 2006. This paper supersedes:
  • R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of multi-party contract signing. In R. Focardi, editor, 17-th IEEE Computer Security Foundations Workshop CSFW), pages 266--279. IEEE Computer Society, 2004.
  • R. Chadha, S. Kremer, and A. Scedrov. Formal analysis of Multi-party Contract Signing (extended abstract). In Workshop on Issues in the Theory of Security (WITS '04), co-located with ETAPS 2004.

• R. Chadha, J. Mitchell, A. Scedrov, and V. Shmatikov. Contract signing, optimism and advantage. Journal of Logic and Algebraic Programming (Special issue on Modeling and Verification of Cryptographic Protocols), 64(2):189--218, 2005. This paper supersedes:
  • R. Chadha, J. Mitchell, A. Scedrov, and V. Shmatikov. Contract signing, optimism and advantage. In R. Amadio and D. Lugiez, editors, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 366--382. Springer-Verlag, 2003.
    
• R. Chadha, M. Kanovich, and A. Scedrov. Inductive methods and contract-signing protocols. In P. Samarati, editor, 8-th ACM Conference on Computer and Communications Security, pages 176--185. ACM Press, 2001.

Quantum Protocols

• P. Baltazar, R. Chadha, P. Mateus, and A. Sernadas. Towards model-checking quantum security protocols. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0014. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.

Denial of Service

• R. Chadha C. C. Gunter, J. Meseguer, R. Shinkesi and M. Viswanathan. Modular Preservation of Safety Properties by Cookie-Based DoS-Protectin Wrappers. In P. Dini et al, editor, Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference: FMOODS'08, pages 39-58. LNCS 5051, 2008.

RUNTIME VERIFICATION

• R. Chadha and A.P. Sistla and M. Viswanathan. On the expressiveness and complexity of randomization in finite-state monitors. In F. Pfenning, editor, LICS 2008 - 23rd Annual IEEE Symposium on Logic in Computer Science, pages 18--29, IEEE Computer Society,  Springer, 2008.

INFINITE-STATE MODEL CHECKING

• R. Chadha and M. Viswanathan. Decidability results for well-structured transition systems with auxiliary storage (including all proofs). In L. Caires and V.T. Vasconcelos, editors, CONCUR 2007 - 18th International Conference on Concurrency Theory, volume 4703 of Lecture Notes in Computer Science, pages 136--150. Springer, 2007.

PROBABILISTIC/QUANTUM REASONING

• R. Chadha, L. Cruz-Filipe, P. Mateus, and A. Sernadas. Reasoning about probabilistic sequential programs. Theoretical Computer Science, 379(1-2):142--165, 2007. This paper supersedes:
  • R. Chadha, P. Mateus, and A. Sernadas. Reasoning about states of probabilistic sequential programs. Computer Science Logic, 2006. In Z. Ésik, editor, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240--255. Springer-Verlag, 2006. 

• R. Chadha, P. Mateus, and A. Sernadas. Reasoning about quantum imperative programs. Electronic Notes in Theoretical Computer Science , 158:19--40, 2006.  Invited contribution at the Twenty-second Conference on the Mathematical Foundations of Programming Semantics, May 24-27, 2006, Genova.

• R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical logic for reasoning about quantum systems. Submitted.

LOGICS FOR RESOURCES

• R. Chadha, D. Macedonio, and V. Sassone. A hybrid intuitionistic logic: semantics and decidability. Journal of Logic and Computation (Special issue on Logics for Resources, Processes and Programs), 16(1):27-59, 2006.
  
  
• R. Chadha, D. Macedonio, and V. Sassone. A distributed kripke semantics. Technical Report 04, Department of Informatics, University of Sussex, 2004.