Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Arjan J. Mooij
Invariant-Based Reasoning About Parameterized Security Protocols
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Reasoning About the Security Configuration of SAN Switch Fabrics
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supporting Security Protocols on CAN-based Networks
PDL-based Framework for Reasoning About Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formally-Based Black-Box Monitoring of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Non-Linear Reasoning for Invariant Synthesis
Proceedings of the ACM on Programming Languages
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reputation-Based Wi-Fi Deployment Protocols and Security Analysis
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science