Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Georg Walter
A Formal Security Model for Microprocessor Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Improvement of Microprocessor Complex Scheme Using Microprocessor Hardware Complex
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport
A Foundation for Formal Reuse of Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Policy Concepts for Microprocessor-Based Systems
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
Formal Support for the ELLA Hardware Description Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exploiting Reconfigurable Hardware for Network Security
Preliminary Security Requirements for SecureCore Hardware
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Emerging Technology-Based Design of Primitives for Hardware Security
ACM Journal on Emerging Technologies in Computing Systems
Electronic Engineering
Nanoscience
Hardware
Electrical
Architecture
Nanotechnology
Software
