Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mayla Bruso
Formal Verification of Privacy for RFID Systems
Related publications
Formal Verification of Hybrid Systems
Comparing Formal Verification Approaches of Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Combined Fingerprint Verification for Privacy Protection
International Journal of Innovative Research in Computer and Communication Engineering
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
A Forward Privacy Model for RFID Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Survey on Privacy Frameworks for RFID Authentication
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software