Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Clement W. Skorupka
Verifying Information Flow Goals in Security-Enhanced Linux
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
Verifying Information Flow Properties of Hybrid Systems
Enhancing Security in Linux OS
International Journal of Computer Applications
Information Flow Security for Stochastic Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Sensor Network Security Protocol Implementations
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Security Linux Extension Based on System Calls Interposition
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
Nutrition Security and Sustainable Development Goals in Africa
African journal of reproductive health
Gynecology
Public Health
Reproductive Medicine
Environmental
Obstetrics
Occupational Health
Verifying Security of Composed Interaction for Web Services
Journal of Software
Security Enhancements for FPGA-based MPSoCs: A Boot-To-Runtime Protection Flow for an Embedded Linux-Based System
