Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Francois Monin
Formal Verification of Netlog Protocols
Related publications
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
Protocols for Watermark Verification
IEEE Multimedia
Media Technology
Signal Processing
Hardware
Computer Science Applications
Architecture
Software
