Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Mazières
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
Practical Information-Flow Control in Web-Based Information Systems
Research on Microarchitectural Cache Attacks
Model-Driven Information Flow Security for Component-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cache Side-Channel Attacks and Time-Predictability in High-Performance Critical Real-Time Systems
A Java Based Web Service Model for Library Information Discovery
International Journal of Engineering and Technology(UAE)
Architecture
Hardware
Engineering
Chemical Engineering
Biotechnology
Environmental Engineering
Computer Science
Joint Wireless Information and Energy Transfer in Cache-Assisted Relaying Systems
A Trigger-Based Middleware Cache for ORMs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Testing for Concurrent Systems With Labelled Event Structures
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
