Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antony Edwards
Runtime Verification of Authorization Hook Placement for the Linux Security Modules Framework
Related publications
VyPR2: A Framework for Runtime Verification of Python Web Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linux Driver Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
Security Enhancements for FPGA-based MPSoCs: A Boot-To-Runtime Protection Flow for an Embedded Linux-Based System
Runtime Verification of Stochastic Systems
Dependability Verification for Contextual/Runtime Goal Modelling
Architectural Framework for Web Services Authorization
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
