Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by I.V. Ramakrishnan
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing
Theoretical Computer Science
Software
Formal Verification of Netlog Protocols
Protocols for Watermark Verification
IEEE Multimedia
Media Technology
Signal Processing
Hardware
Computer Science Applications
Architecture
Software
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications